{"product_id":"an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs-019289594x","title":"An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 019289594X\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Mancosu, Paolo\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eAn Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the readers understanding. It also serves as a companion to reading the original pathbreaking articles by Gerhard Gentzen. The first half covers topics in structural proof theory, including the G\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51666564874528,"sku":"NEW019289594X","price":47.77,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/71puASMHGhL.jpg?v=1778940819","url":"https:\/\/miakarts.com\/products\/an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs-019289594x","provider":"Miakarts Books","version":"1.0","type":"link"}