Logic for computer science: Fundations of automatic theorem proving (Record no. 47524)

MARC details
000 -LEADER
fixed length control field 00725nam a2200253Ia 4500
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20220912150439.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 220909b |||||||| |||| 00| 0 eng d
037 ## - SOURCE OF ACQUISITION
Terms of availability Textual
040 ## - CATALOGING SOURCE
Original cataloging agency CSL
Language of cataloging eng
Transcribing agency CSL
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Gallier Jean H
245 #0 - TITLE STATEMENT
Statement of responsibility, etc. Gallier Jean H
Title Logic for computer science: Fundations of automatic theorem proving
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York
Name of publisher, distributor, etc. Harper & Row
Date of publication, distribution, etc. 1986
300 ## - PHYSICAL DESCRIPTION
Extent xv, 511p.
Dimensions cm.
490 ## - SERIES STATEMENT
Series statement Harper and row computer science and technology series
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical logic
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Classification part B:(R1), M6
Koha item type Textual
Source of classification or shelving scheme Colon Classification (CC)
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Central Science Library Central Science Library 2022-09-12   B:(R1) M6 SL0955254 2022-09-12 2022-09-12 Textual