An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
Mancosu, Paolo
From Russell Books, Victoria, BC, Canada
Seller rating 5 out of 5 stars
Heritage Bookseller
AbeBooks member since 1996
New - Soft cover
Quantity: 2 available
Add to basket