Logic for computer science:foundations of automatic theorem proving (Record no. 28926)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 00591cam a2200205 i 4500 |
| 005 - DATE & TIME | |
| control field | 20180517151724.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 141212r20152003nyu b 001 0 eng |
| 020 ## - ISBN | |
| International Standard Book Number | 9780486780825 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | NISER LIBRARY |
| 041 ## - Language | |
| Language | English |
| 082 ## - UDC Number | |
| Classification number | 004.421 |
| Book Number | GAL-L |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Gallier, Jean H. |
| 245 10 - TITLE STATEMENT | |
| Title | Logic for computer science:foundations of automatic theorem proving |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 2nd. ed. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | New York |
| Name of publisher, distributor, etc | Dover Publication |
| Date of publication, distribution, etc | 2015 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Pages | xxiii, 496p. pbk |
| 650 #0 - Subject | |
| Subject | Automatic theorem proving. |
| 650 #0 - Subject | |
| Subject | Logic, Symbolic and mathematical. |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Location (home branch) | Sublocation or collection (holding branch) | Date acquired | Koha issues (times borrowed) | Koha full call number | Barcode (Accession No.) | Koha date last seen | Price effective from | Koha item type | Koha renewals | Koha date last borrowed |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Universal Decimal Classification | NISER LIBRARY | NISER LIBRARY | 11/08/2017 | 004.421 GAL-L | 17251 | 11/08/2017 | 11/08/2017 | Book | |||||||
| Universal Decimal Classification | NISER LIBRARY | NISER LIBRARY | 11/08/2017 | 2 | 004.421 GAL-L | 17252 | 20/03/2021 | 11/08/2017 | Book | 4 | 20/03/2021 | ||||
| Universal Decimal Classification | NISER LIBRARY | NISER LIBRARY | 11/08/2017 | 2 | 004.421 GAL-L | 17253 | 30/08/2023 | 11/08/2017 | Book | 1 | 17/08/2023 | ||||
| Universal Decimal Classification | NISER LIBRARY | NISER LIBRARY | 17/05/2018 | 1 | 004.421 GAL-L | 17708 | 02/01/2019 | 17/05/2018 | Book | 4 | 02/01/2019 |
