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

Natural Deduction: A Proof-Theoretical Study (Dover Books on Mathematics) Cover Image
$9.95
Usually Ships in 1-5 Days
(This book cannot be returned.)

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.


Product Details
ISBN: 9780486446554
ISBN-10: 0486446557
Publisher: Dover Publications
Publication Date: February 24th, 2006
Pages: 113
Language: English
Series: Dover Books on Mathematics