You are here

Natural Deduction: A Proof-Theoretical Study

Publisher: 
Dover Publications
Number of Pages: 
113
Price: 
9.95
ISBN: 
0486446557
Date Received: 
Saturday, April 8, 2006
Reviewable: 
No
Include In BLL Rating: 
No
Reviewer Email Address: 
Dag Prawitz
Publication Date: 
2006
Format: 
Paperback
Category: 
Monograph

1.

Natural Deduction of Gentzen-Type
2. The Inversion Principle
3. Normal Deductions in Classical Logic
4. Normal Deductions in Intuitionistic Logic
5. Second Order Logic
6. Modal Logic
7. Some Other Concepts of Implication
Appendix A. The Calculi of Sequents
Appendix B. On a set theory by Fitch
Appendix C. Notes on some other variants of natural deduction
Bibliographical References
Index
Index of Symbols
Publish Book: 
Modify Date: 
Wednesday, May 24, 2006

Dummy View - NOT TO BE DELETED