First-order logic and automated theorem proving (Record no. 91015)

MARC details
000 -LEADER
fixed length control field 00586 a2200265 4500
001 - CONTROL NUMBER
control field 1008438
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0-387-94593-86
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 681.3:517.1 Fit(2)
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Fitting, Melvin
245 ## - TITLE STATEMENT
Title First-order logic and automated theorem proving
250 ## - EDITION STATEMENT
Edition statement 2nd ed
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc. New York : Springer-Verlag, 1996
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Date of publication, distribution, etc. 1996
300 ## - PHYSICAL DESCRIPTION
Extent xvi,326 p.
300 ## - PHYSICAL DESCRIPTION
Dimensions 24 cm
490 ## - SERIES STATEMENT
Series statement
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Home library Current library Date acquired Cost, normal purchase price Total Checkouts Total Renewals Full call number Barcode Date last seen Date last checked out Cost, replacement price Price effective from Koha item type
          Central Library, IITB Central Library, IITB 01/02/2018 1394.00 35 23 681.3:517.1 Fit(2) 181910 03/02/2020 26/08/2019 68.00 01/02/2018 Books

Powered by Koha