Specials
ORDER UP TO $299. AND RECEIVE 47% DISCOUNT
ORDER $300+ AND RECEIVE 47% DISCOUNT + FREE SHIPPING
ORDER $500+ FOR 50% DISCOUNT + FREE SHIPPING
* expires 1/1/2027 *
About the Brand
Since 1941, Dover has been publishing high-quality books at affordable prices in dozens of popular categories: adult coloring books, children activity books, fine art collections, crafts guides, math texts, music scores, thrift editions of classic literature, and much more.
Shop Brand CatalogNatural Deduction: A Proof-Theoretical Study
- SKU: 9780486446554
- UPC: 9780486446554
The author of this study formulated the theories behind intuitionistic type theory and modern proof-theoretic semantics. He explains the principles of his proof-theoretical system, and he illustrates its applications to natural deduction. 1965 edition.
Have questions about “Natural Deduction: A Proof-Theoretical Study”?
Selling things that
make people happy.
Since 1975, we've been bringing together the industry's best brands and retailers. With our experienced sales team across 50 states, four stunning showrooms and 24/7 online marketplace, we make shopping fun and easy.
