Natural Deduction

A Proof-Theoretical Study

Автор: Dag Prawitz

Език:

Корици: С меки корици

Издател: Dover Publications Inc.

Наличност: Външен склад

Изпращаме след 14-21 дни

8.13 € 15.90 лв

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

Информация за книгата

Автор

Dag Prawitz

Език

Английски език

Корици

Книга - С меки корици

Издадена

2006

страници

113

EAN

9780486446554

ISBN

0486446557

Enbook ID

02567037

Издател

Dover Publications Inc.

Теглоt

144

Размери

216 x 141 x 16

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Natural Deduction

A Proof-Theoretical Study

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също