Proof theory and automated deduction (Record no. 13882)

000 -LEADER
fixed length control field 00983pam a2200229 a 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 970422s1997 ne a b 001 0 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0792345932
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
080 ## - UNIVERSAL DECIMAL CLASSIFICATION NUMBER
Universal Decimal Classification number 510.6
Item number GOU
100 2# - MAIN ENTRY--AUTHOR NAME
Personal name Goubault-Larrecq, Jean
245 10 - TITLE STATEMENT
Title Proof theory and automated deduction
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication Boston
Name of publisher Kluwer Academic
Year of publication 1997
300 ## - PHYSICAL DESCRIPTION
Number of Pages xv, 424p.
440 #0 - SERIES STATEMENT/ADDED ENTRY--TITLE
Title Applied logic series
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references (p. 407-413) and index.
505 ## - FORMATTED CONTENTS NOTE
Formatted contents note Ch. 1. Introduction<br/>Ch. 2. Classical Propositional Logic<br/>Ch. 3. Other Propositional Logics<br/>Ch. 4. The Curry-Howard Correspondence<br/>Ch. 5. Modal and Temporal Logics<br/>Ch. 6. First-Order Classical Logic<br/>Ch. 7. Resolution<br/>Ch. 8. Tableaux, Connections and Matings<br/>Ch. 9. Incorporating Knowledge<br/>Ch. 10. Logic Programming Languages<br/>App. B. Basics of Topology
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Proof theory
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical Term Automatic theorem proving
690 ## - LOCAL SUBJECT ADDED ENTRY--TOPICAL TERM (OCLC, RLIN)
Topical term or geographic name as entry element Mathematics
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Mackie, Ian
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type BOOKS
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Shelving location Full call number Accession Number Koha item type
        IMSc Library IMSc Library First Floor, Rack No: 28, Shelf No: 3 510.6 GOU 35815 BOOKS
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha