Natural Deduction: A Proof-Theoretical Study

Prawitz's theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts... Read More »

Related Items

1. Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
2. Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
3. Building Models by Games
4. Models and Ultraproducts: An Introduction
5. Elementary Induction on Abstract Structures (Dover Books on Mathematics)

We offer many more exciting products in addition to Natural Deduction: A Proof-Theoretical Study! Browse our related classic car products above, or see our complete list of classic car merchandise!