TY  - BOOK
AU  - 
AU  - Mackie,Ian
TI  - Proof theory and automated deduction 
SN  - 0792345932
PY  - 1997///
CY  - Boston
PB  - Kluwer Academic
KW  - Proof theory
KW  - Automatic theorem proving
N1  - 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
ER  -