4639046
9780486446554
Natural Deduction A Proof-theoretical Study
by Prawitz, Dag
by Prawitz, Dag
114419
List Price
Discount
21% Off
You Save
$2.15
About this item
- Condition: New
- Provider: Mediaoutdeal1234 Contact
- Provider Rating: 64%
- Ships From: Springfield, VA
- Shipping: Standard
114419
List Price
Discount
9% Off
You Save
$0.94
About this item
- Condition: Like New
- Provider: Mediaoutdeal1234 Contact
- Provider Rating: 64%
- Ships From: Springfield, VA
- Shipping: Standard
Product details
- ISBN-13: 9780486446554
- ISBN: 0486446557
- Publication Date: 2006
- Publisher: Dover Publications, Incorporated
AUTHOR
SUMMARY
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.Prawitz, Dag is the author of 'Natural Deduction A Proof-theoretical Study', published 2006 under ISBN 9780486446554 and ISBN 0486446557.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
