{"product_id":"proof-theory-cambridge-university-press-9780521054164-a-selection-of-papers-from-the-leeds-proof-theory-programme-1990-peter-aczel","title":"Proof Theory","description":"\u003cp\u003eDiscover the fascinating world of \u003cstrong\u003eProof Theory\u003c\/strong\u003e by \u003cstrong\u003ePeter Aczel\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2008. This insightful book comprises a collection of expository and research articles, meticulously curated from the SERC 'Logic for IT' Summer School and Conference on Proof Theory. Spanning 320 pages, it delves into the intricate aspects of proof theory, making it an essential read for students, researchers, and enthusiasts alike. Whether you are looking to deepen your understanding of logic or seeking advanced insights into proof theory, this book serves as a valuable resource. Enhance your academic library with this engaging and informative work that bridges theory and practical application.\u003c\/p\u003e","brand":"Peter Aczel","offers":[{"title":"Default Title","offer_id":52231569604950,"sku":"9780521054164","price":46.07,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521054164.jpg?v=1767748476","url":"https:\/\/www.bookshop.lv\/products\/proof-theory-cambridge-university-press-9780521054164-a-selection-of-papers-from-the-leeds-proof-theory-programme-1990-peter-aczel","provider":"Bookshop","version":"1.0","type":"link"}