Natural Deduction

A Proof-Theoretical Study

Szerző: Dag Prawitz

Nyelv:

Kötés: Puha kötésű

Kiadó: Dover Publications Inc.

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

3 171 Ft

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

Információk a könyvről

Szerző

Dag Prawitz

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2006

oldal

113

EAN

9780486446554

ISBN

0486446557

Enbook ID

02567037

Kiadó

Dover Publications Inc.

Súly

144

Méretek

216 x 141 x 16

Teljes leírás

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

Érdekelheti

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Natural Deduction

A Proof-Theoretical Study

Információk a könyvről

Teljes leírás

Érdekelheti