{"product_id":"mancosu-paolo-an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs-9780192895943","title":"An Introduction to Proof Theory: Normalization, Cut-elimination, and Consistency Proofs","description":null,"brand":"Oxford University Press","offers":[{"title":"Default Title","offer_id":53734674399574,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9780192895943_1.jpg?v=1781780977","url":"https:\/\/www.momoxbooks.com\/products\/mancosu-paolo-an-introduction-to-proof-theory-normalization-cut-elimination-and-consistency-proofs-9780192895943","provider":"momoxbooks","version":"1.0","type":"link"}