Logic in computer science : (Record no. 65410)

000 -LEADER
fixed length control field 00929cam a22003494a 4500
001 - CONTROL NUMBER
control field 13550178
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20231005102737.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040407s2004 enka b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521543101 (pbk.)
040 ## - CATALOGING SOURCE
Transcribing agency UG
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9 L63 H88 2004
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Huth, Michael,
Dates associated with a name 1962-
245 10 - TITLE STATEMENT
Title Logic in computer science :
Remainder of title modelling and reasoning about systems /
Statement of responsibility, etc Michael Huth, Mark Ryan.
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Cambridge :
Name of publisher, distributor, etc Cambridge University Press,
Date of publication, distribution, etc 2004.
300 ## - PHYSICAL DESCRIPTION
Extent xiv, 427 p. :
Other physical details ill.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Bibliography p. 414-417.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Computer logic.
Topical term or geographic name as entry element Logic programming.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark,
Dates associated with a name 1962-
9 (RLIN) 60807
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Verified KB
Entry Department TSD
Holdings
Price effective from Permanent Location Date last seen Not for loan Date acquired Source of classification or shelving scheme Koha item type Shelving location Barcode Damaged status Lost status Withdrawn status Current Location Full call number
2013-03-26Turkeyen Campus2013-03-26 2013-03-26 3 Weeks LoanScience & Technology277368   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277370   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277373   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277371   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277375   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277374   Turkeyen CampusQA76.9 L63 H88 2004
2013-11-12Turkeyen Campus2013-11-12 2013-11-12 3 Weeks LoanScience & Technology277372   Turkeyen CampusQA76.9 L63 H88 2004
2013-12-06Turkeyen Campus2013-12-06 2013-12-06 3 Weeks LoanScience & Technology277369   Turkeyen CampusQA76.9 L63 H88 2004
2013-12-06Turkeyen Campus2013-12-06 2013-12-06 3 Weeks LoanScience & Technology277376   Turkeyen CampusQA76.9 L63 H88 2004
2013-12-06Turkeyen Campus2013-12-06 2013-12-06 3 Weeks LoanScience & Technology277377   Turkeyen CampusQA76.9 L63 H88 2004