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

30.99 GBP
Price updated on: 14-06-2026 03:21:14
View product deal
Identifiers
Dimensions / Weight
Key Features
Paolo Mancosu