Natural Deduction

A Proof-Theoretical Study

Autor: Dag Prawitz

Jazyk:

Vazba: Brožovaná

Vydavatel: Dover Publications Inc.

Dostupnost: Skladem u dodavatele

Odesíláme za 9-15 dnů

185 Kč

1. Natural Deduction of Gentzen-Type 2. The Inversion Principle 3. Normal Deductions in Classical...

Informace o knize

Autor

Dag Prawitz

Jazyk

Angličtina

Vazba

Kniha - Brožovaná

Vydáno

2006

Stránek

113

EAN

9780486446554

ISBN

0486446557

Enbook ID

02567037

Vydavatel

Dover Publications Inc.

Hmotnost

144

Rozměry

216 x 141 x 16

Kompletní popis

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

Mohlo by vás zajímat

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Natural Deduction

A Proof-Theoretical Study

Informace o knize

Kompletní popis

Mohlo by vás zajímat