Handbook of practical logic and automated reasoning (Record no. 30129)
[ view plain ]
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 |
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 |