Handbook of practical logic and automated reasoning (Record no. 30129)

MARC details
000 -LEADER
fixed length control field 00549 a2200193 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 2009281331
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780521899574 (hbk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0521899575 (hbk.)
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.L63
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 006.333
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
-- 30479
-- 30479
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Harrison, John
245 10 - TITLE STATEMENT
Title Handbook of practical logic and automated reasoning
Statement of responsibility, etc. John Harrison
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Cambridge
-- New York
Name of publisher, distributor, etc. Cambridge University Press
Date of publication, distribution, etc. 2009
300 ## - PHYSICAL DESCRIPTION
Extent xix, 681 p.
Other physical details ill.
Dimensions 26 cm
546 ## - LANGUAGE NOTE
Language note eng
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer logic
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Carti
Call number prefix 006.333
Serial record flag EP
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Source of acquisition Cost, normal purchase price Inventory number Total checkouts Total renewals Full call number Barcode Date due Date last seen Date last checked out Copy number Price effective from Koha item type
        IMAR IMAR 03/21/2024 Black Cat Books 542.74 Mcc 9593 2 2 006.333-HAR 0033265 04/18/2025 03/29/2024 03/29/2024 1 03/21/2024 Carti

Powered by Koha