An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Sponsored An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs

32.99 GBP
Price updated on: 06-09-2026 22:19:31
View product deal
Identifiers
Dimensions / Weight
Key Features
Paolo Mancosu