An Introduction to Proof Theory : Normalization, Cut-Elimination | Kaicus UK
All categories
Kaicus
Animals & Pet Supplies
Arts & Entertainment
Baby & Toddler
Business & Industrial
Cameras & Optics
Clothing & Accessories
Electronics
Food, Beverages & Tobacco
Furniture
Hardware
Health & Beauty
Home & Garden
Luggage & Bags
Mature
Media
Office Supplies
Software
Sporting Goods
Toys & Games
Vehicles & Parts
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus An Introduction to Proof Theory : Normalization, Cut-Elimination, and Consistency Proofs
product image
product image

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

30.99 GBP

Brand: Paolo Mancosu
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 30.99 GBP
12-06-2026 07:47:25
Access to the deal

Related products

Dale Miller Proof Theory and Logic Programming

60.00 GBP
View Product

Theory of the Earth, Vol. 3 of 4: With Proofs and Illustrations

12.68 GBP
View Product

Set Theory An Introduction To Independence Proofs: 102

49.99 GBP
View Product

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27

96.13 GBP
View Product