{"product_id":"introduction-to-proof-theory-oxford-university-press-9780192895936-normalization-cut-elimination-and-consistency-proofs-paolo-mancosu","title":"Introduction to Proof Theory","description":"\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 reader's understanding.\u003c\/p\u003e","brand":"Paolo Mancosu","offers":[{"title":"Default Title","offer_id":52271021654358,"sku":"9780192895936","price":136.41,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780192895936.jpg?v=1767806602","url":"https:\/\/www.englishbook.fi\/products\/introduction-to-proof-theory-oxford-university-press-9780192895936-normalization-cut-elimination-and-consistency-proofs-paolo-mancosu","provider":"Bookshop","version":"1.0","type":"link"}