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 Catalog
Dover Publications

Natural Deduction: A Proof-Theoretical Study

  • SKU: 9780486446554
  • UPC: 9780486446554
LOGIN TO VIEW PRICING
Retail Price
Details

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”?

With over 100 brands and more than 1 million products,
we are your one-stop wholesale shop!

Avatar

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.