Zobacz książki o podobnej tematyce

Więcej informacji o Natural Deduction

• Dane szczegółowe
• Opis
• Ulubione w innej kategorii

Za ten zakup dostaniesz 26 punkty

Opis

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

Szczegóły książki

Kategoria Książki po angielsku Humanities Philosophy Philosophy: logic

• Pełny tytuł: Natural Deduction
• Podtytuł: A Proof-Theoretical Study
• Autor: Dag Prawitz
• Język: Angielski
• Oprawa: Miękka
• Liczba stron: 113
• EAN: 9780486446554
• ISBN: 0486446557
• ID: 02567037
• Wydawca: Dover Publications Inc.
• Waga: 144 g
• Wymiary: 141 × 216 × 16 mm
• Data wydania: 24. February 2006

Ulubione w innej kategorii

---

---

---