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

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

By
Paolo Mancosu (Author) Sergio Galvan (Author) Richard Zach (Author)  

Paperback

In Stock

Quantity

Description

About the Author

More Details

Delivery Options

Home Delivery

Store Delivery

Free Returns

We hope you are delighted with everything you buy from us. However, if you are not, we will refund or replace your order up to 30 days after purchase. Terms and exclusions apply; find out more from our Returns and Refunds Policy.