Click on a thumbnail to go to Google Books.
Natural Deduction: A Proof-Theoretical Study
by Dag Prawitz
No current Talk conversations about this book.
References to this work on external resources.
Wikipedia in English
Amazon.com Product Description (ISBN 0486446557, Paperback)
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.
(retrieved from Amazon Thu, 12 Mar 2015 18:16:36 -0400)
No library descriptions found.
Is this you?
Become a LibraryThing Author.