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

MARC details
000 -LEADER
fixed length control field 00765 a2200241 4500
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 95045225
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387945938 (New York : hardcover : alk. paper)
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.9.A96
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 511.3
090 ## - LOCALLY ASSIGNED LC-TYPE CALL NUMBER (OCLC); LOCAL CALL NUMBER (RLIN)
-- 30605
-- 30605
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Fitting, Melvin
245 10 - TITLE STATEMENT
Title First-order logic and automated theorem proving
Statement of responsibility, etc. Melvin Fitting
250 ## - EDITION STATEMENT
Edition statement 2nd ed.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Springer
Date of publication, distribution, etc. c1996.
300 ## - PHYSICAL DESCRIPTION
Extent xvi, 326 p.
Other physical details ill. ;
Dimensions 25 cm
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Graduate texts in computer science
546 ## - LANGUAGE NOTE
Language note eng
500 ## - GENERAL NOTE
General note Bibliografie<br/>Index
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Automatic theorem proving
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Logic, Symbolic and mathematical
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Graduate texts in computer science (Springer-Verlag New York Inc.)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Institution code [OBSOLETE] IMAR
Koha item type Carti
Call number prefix 511.3
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 Prior Media Grup SRL 321.00 Mcc 9619 2 2 511.3-FIT 0033399 04/18/2025 03/29/2024 03/29/2024 1 03/21/2024 Carti

Powered by Koha