Logic in Computer Science : Modelling and reasoning about systems v.I (Record no. 19883)

000 -LEADER
fixed length control field 00513nam a22001931a 4500
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521670890
040 ## - CATALOGING SOURCE
Original cataloging agency IASRI - Library - New Delhi
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 519.67
Item number HUT-L
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael
245 ## - TITLE STATEMENT
Title Logic in Computer Science : Modelling and reasoning about systems v.I
250 ## - EDITION STATEMENT
Edition statement 2nd.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge
Name of publisher, distributor, etc Cambridge University Press
Date of publication, distribution, etc 2005
300 ## - PHYSICAL DESCRIPTION
Extent 427p.
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Logic-Computer
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer Science
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, M.
901 ## - LOCAL DATA ELEMENT A, LDA (RLIN)
Acc. No. 25185
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent location Current location Shelving location Date acquired Cost, normal purchase price Full call number Barcode Date last seen Copy number Price effective from Koha item type
          IASRI Library IASRI Library Catalogued 2006-01-20 356.00 519.67 HUT-L 25185 2013-12-27   2006-01-20 Books

Jivesna TechContact Us
ICAR-Indian Agricultural Statistics Research Institute
Library Avenue, Pusa Road, New Delhi-110012
Tel Nos: +91-11-25847121-24, 25841254(PBX), Fax: +91-11-25841564
Email: library.iasri@icar.gov.in ; Website: http://iasri.res.in/