Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)
Prawitz, Dag
0486446557
ISBN 13: 9780486446554
Softcover

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics)

87
ING9780486446554
Special order direct from the distributor

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.
Free ShippingOn orders $50 or more. North America only.Learn More