Mohlo by sa vám tiež páčiť

Viac informácií o knihe Natural Deduction

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 27 bodov

Anotácia knihy

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

Parametre knihy

Zaradenie knihy Knihy po anglicky Humanities Philosophy Philosophy: logic

• Celý názov: Natural Deduction
• Podnázov: A Proof-Theoretical Study
• Autor: Dag Prawitz
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 113
• EAN: 9780486446554
• ISBN: 0486446557
• ID: 02567037
• Nakladateľ: Dover Publications Inc.
• Hmotnosť: 144 g
• Rozmery: 141 × 216 × 16 mm
• Dátum vydania: 24. February 2006

Obľúbené z iného súdka

---

---

---