Goodreads helps you keep track of books you want to read.
Start by marking “Natural Deduction: A Proof-Theoretical Study” as Want to Read:
Natural Deduction: A Proof-Theoretical Study
by Dag Prawitz
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 ...more
Paperback, 128 pages
Published February 24th 2006 by Dover Publications
(first published January 1st 1965)
To see what your friends thought of this book, please sign up.