113 pages • missing pub info (editions)
ISBN/UID: 9780486446554
Format: Paperback
Language: English
Publisher: Dover Publications
Publication date: 24 February 2006
Description
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 ...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.
113 pages • missing pub info (editions)
ISBN/UID: 9780486446554
Format: Paperback
Language: English
Publisher: Dover Publications
Publication date: 24 February 2006
Description
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 ...
Community Reviews Summary of 1 rating
Average rating
Content Warnings
This book doesn't have any content warnings yet!
If you're the author of this book and want to add author-approved content warnings, please email us at [email protected] to request the content warning form.