Normal view MARC view ISBD view

Goubault-Larrecq, Jean

Proof theory and automated deduction - Boston Kluwer Academic 1997 - xv, 424p. - Applied logic series .

Includes bibliographical references (p. 407-413) and index.

Ch. 1. Introduction
Ch. 2. Classical Propositional Logic
Ch. 3. Other Propositional Logics
Ch. 4. The Curry-Howard Correspondence
Ch. 5. Modal and Temporal Logics
Ch. 6. First-Order Classical Logic
Ch. 7. Resolution
Ch. 8. Tableaux, Connections and Matings
Ch. 9. Incorporating Knowledge
Ch. 10. Logic Programming Languages
App. B. Basics of Topology

ISBN: 0792345932

Subjects--Topical Terms:
Proof theory
Automatic theorem proving

Universal Decimal Class. No.: 510.6 / GOU