# Natural Deduction: A Proof-Theoretical Study

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

 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