{"product_id":"an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs","title":"An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs","description":"\u003cp\u003e\u003cstrong\u003eNew copy of An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs by Paolo Mancosu, Sergio Galvan, Richard Zach.\u003c\/strong\u003e - Paperback, Published by Oxford University Press, 432 pages, ISBN-13: 9780192895943, ISBN-10: 019289594X.\u003c\/p\u003e\u003cp\u003eHassle-free 30-day returns. Free shipping on orders over $35.\u003c\/p\u003e","brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":46311030554858,"sku":"DS-CA-019289594X","price":68.99,"currency_code":"CAD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0647\/1735\/7290\/files\/41tEMuQYa-L.jpg?v=1789999526","url":"https:\/\/justgreatbooks.org\/products\/an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs","provider":"Just Great Books","version":"1.0","type":"link"}