Normal view MARC view ISBD view

Logic in computer science: (Record no. 107793)

MARC details
000 -LEADER
fixed length control field	00527nam#a2200181ua#4500
001 - CONTROL NUMBER
control field	GOACATREC108418
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field
245 00 - TITLE STATEMENT
Title	Logic in computer science:
Statement of responsibility, etc	Michael Huth
Remainder of title	modelling and reasoning about systems
100 00 - MAIN ENTRY--PERSONAL NAME
Personal name	Huth, Michael
Relator term	Author
250 00 - EDITION STATEMENT
Edition statement	2nd ed.
260 00 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Name of publisher, distributor, etc	Cambridge University Press,
Place of publication, distribution, etc	New York.
Date of publication, distribution, etc	2010
020 00 - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number	9780521670890
300 00 - PHYSICAL DESCRIPTION
Extent	xiv, 427p.
Dimensions	24 cm.
700 00 - ADDED ENTRY--PERSONAL NAME
Personal name	Ryan, Mark
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	logic
650 00 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element	Computer science
504 00 - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc	Include bibliographical references and Index.
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Koha normalized classification for sorting	005_101000000000000_HUTRYA
Koha itemnumber	125708

Holdings
Withdrawn status	Lost status	Damaged status	Not for loan	Home library	Current library	Shelving location	Date acquired	Total Checkouts	Full call number	Barcode	Date last seen	Price effective from	Koha item type
				Goa University Library	Goa University Library	General Stacks 2	12/29/2011		005.101 HUT/RYA	136838	02/20/2012	02/20/2012	Books