Meta-logics and logic programming (Record no. 125407)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 00507nam a2200193Ia 4500 |
005 - DATE & TIME | |
control field | 20250619145241.0 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 250619s9999||||xx |||||||||||||| ||und|| |
020 ## - ISBN | |
International Standard Book Number | 0262011522 |
Price | 1640 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | NITTTR Kolkata |
041 ## - Language | |
Language | English |
082 ## - DDC NUMBER | |
Classification number | 511.3 |
Book Number | APT |
100 ## - MAIN ENTRY--PERSONAL NAME | |
Personal name | Apt, Krazysztof R. and Turini, Franco |
245 #0 - TITLE STATEMENT | |
Title | Meta-logics and logic programming |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
Place of publication, distribution, etc | Cambridge |
Name of publisher, distributor, etc | ; The Mit Press |
Date of publication, distribution, etc | , 1995 |
300 ## - PHYSICAL DESCRIPTION | |
Pages | xiv,339p. |
650 ## - Subject | |
Subject | Mathematical Logic |
650 ## - Subject | |
Subject | Mathematics |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Koha item type | Books |
Location (home branch) | Sublocation or collection (holding branch) | Date of accession | Koha full call number | Accession No. | Koha item type | Bill No | Bill Date | Name of the supplier/vendor |
---|---|---|---|---|---|---|---|---|
NITTTR Kolkata | NITTTR Kolkata | 03/23/1998 | 511.3 APT | 18069 | Books | 307 | 1998-03-20 | Ray's Publishing House |