{"product_id":"proof-theory-cambridge-university-press-9780521414135-a-selection-of-papers-from-the-leeds-proof-theory-programme-1990","title":"Proof Theory","description":"\u003cp\u003eDiscover the fascinating world of \u003cstrong\u003eProof Theory\u003c\/strong\u003e, a comprehensive collection of expository and research articles compiled from the renowned SERC 'Logic for IT' Summer School and Conference. Published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 1993, this hardback edition spans \u003cstrong\u003e320 pages\u003c\/strong\u003e and offers valuable insights into the intricate field of proof theory. This book serves as an essential resource for both students and professionals interested in the logical foundations of information technology. Enhance your understanding of this critical subject with expert contributions that bridge theory and practical application. Perfect for anyone looking to deepen their knowledge in logic and mathematics, \u003cstrong\u003eProof Theory\u003c\/strong\u003e is a must-have addition to your academic library.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52231569277270,"sku":"9780521414135","price":112.76,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521414135.jpg?v=1767748476","url":"https:\/\/www.englishbook.fi\/products\/proof-theory-cambridge-university-press-9780521414135-a-selection-of-papers-from-the-leeds-proof-theory-programme-1990","provider":"Bookshop","version":"1.0","type":"link"}