Natural Deduction: A Proof-Theoretical Study - Dag Prawitz
-40% koodiga BOOKS
Saadetis 22-28 tööpäeva jooksul
30-päevane tagastamisõigus
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
Kirjeldus
Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.
Lisateave
| Autor | Dag Prawitz |
|---|---|
| Kirjastaja | Dover Publications |
| Väljalaskeaasta | 2006 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780486446554 |