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

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

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

Author(s): Paolo Mancosu, Sergio Galvan, Richard Zach
Publisher: Oxford University Press
Binding: Paperback
/
  • Free shipping on orders $35+
  • 30 day returns
  • New condition
  • In stock, ready to ship
  • Inventory on the way
Shipping calculated at checkout.

New copy of An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Paolo Mancosu, Sergio Galvan, Richard Zach. - Paperback, Published by Oxford University Press, 432 pages, ISBN-13: 9780192895943, ISBN-10: 019289594X.

Hassle-free 30-day returns. Free shipping on orders over $35.

We ship at a flat rate of $9.99 per order. Orders $35 and up ship free of charge.

This site is protected by hCaptcha and the hCaptcha Privacy Policy and Terms of Service apply.

Let customers speak for us

from 15682 reviews

arrived earlier than expected. book was in good used condition

Jason
Just Great Books

My book arrived a week before the the expected date and I'm very happy with the transaction. :)

Heather
Just Great Books

Item arrived in great condition, before scheduled arrival time. Great read!

John
Just Great Books

Arrived on time and in perfect condition.

Joy
Just Great Books

I just received my copy of the Constitution of Canada today...WELL ahead of schedule! Great service...thank you so much!

Tammy
Just Great Books

Easy to order online, got a confirmation email right away, shipping was fast, received book within one week! Thank you!

Anonymous
A New Collection of Three Complete Novels — Snow in April; Wild Mountain Thyme; Flowers in the Rain
You may also like
More from Oxford University Press
Recently viewed