Logic in computer science : (Record no. 21375)

MARC details
000 -LEADER
fixed length control field 01359cam a22003374a 4500
001 - CONTROL NUMBER
control field 13550178
003 - CONTROL NUMBER IDENTIFIER
control field MWNLS
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20160301143905.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 040407s2004 enka b 001 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2004045921
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 052154310X (pbk.)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
042 ## - AUTHENTICATION CODE
Authentication code pcc
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
Item number H88 2004
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.1/01/5113
Edition number 22
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.
Place of publication, distribution, etc. Cambridge [U.K.] ;
-- New York :
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. ;
Dimensions 25 cm.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 414-417) and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic programming.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Ryan, Mark,
Dates associated with a name 1962-
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Sample text
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/samples/cam041/2004045921.html">http://www.loc.gov/catdir/samples/cam041/2004045921.html</a>
856 41 - ELECTRONIC LOCATION AND ACCESS
Materials specified Table of contents
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/toc/cam041/2004045921.html">http://www.loc.gov/catdir/toc/cam041/2004045921.html</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier <a href="http://www.loc.gov/catdir/description/cam041/2004045921.html">http://www.loc.gov/catdir/description/cam041/2004045921.html</a>
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 20
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Source of acquisition Cost, normal purchase price Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
    Dewey Decimal Classification       Headquarters Lending Library Headquarters Lending Library General Collection 01/03/2016 Book Aid International 15000.00 005.1015113 HUT 0090844 14/09/2026 22500.00 01/03/2016 Books
    Dewey Decimal Classification       Mzuzu Branch Library Mzuzu Branch Library General Collection 13/06/2017 Book Aid International 15000.00 005.1/01/5113 HUT 0107751 10/09/2026 22500.00 13/06/2017 Books