You are here
Back to topNatural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics) (Paperback)
List Price: $9.95
Our Price: $7.96
(Save: $1.99 20%)
Usually Ships in 1-5 Days
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 method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.