Natural Deduction

A Proof-Theoretical Study

Autor: Dag Prawitz

Język:

Oprawa: Miękka

Wydawca: Dover Publications Inc.

Dostępność: Dostępna u dostawcy

Wysyłamy za 9-15 dni

34.56 zł

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

Informacje o książce

Autor

Dag Prawitz

Język

Angielski

Oprawa

Książka - Miękka

Data wydania

2006

strony

113

EAN

9780486446554

ISBN

0486446557

Enbook ID

02567037

Wydawca

Dover Publications Inc.

Waga

144

Wymiary

216 x 141 x 16

Pełny 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

Możesz być zainteresowany

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Natural Deduction

A Proof-Theoretical Study

Informacje o książce

Pełny opis

Możesz być zainteresowany