{"product_id":"logical-foundations-of-proof-complexity-cambridge-university-press-9780521517294-stephen-cook","title":"Logical Foundations of Proof Complexity","description":"\u003cp\u003eExplore the intricate world of computational complexity with \u003cstrong\u003eLogical Foundations of Proof Complexity\u003c\/strong\u003e by renowned author \u003cstrong\u003eStephen Cook\u003c\/strong\u003e, published by \u003cstrong\u003eCambridge University Press\u003c\/strong\u003e in 2010. This comprehensive hardback edition spans \u003cstrong\u003e496 pages\u003c\/strong\u003e and delves into the realms of bounded arithmetic and propositional proof complexity, all through the lens of computational complexity.\u003c\/p\u003e \n\n\u003cp\u003eThe first seven chapters provide essential logical background, making this book an ideal resource for graduate courses. Cook offers a cohesive analysis of various systems found in the literature, ensuring a uniform understanding of the subject matter. Whether you're a student, researcher, or enthusiast in the fields of logic and proof theory, this book is a must-have addition to your library.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your knowledge and grasp the fundamental principles of proof complexity with this essential text.\u003c\/p\u003e","brand":"Stephen Cook","offers":[{"title":"Default Title","offer_id":52236716441942,"sku":"9780521517294","price":127.31,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521517294.jpg?v=1767757627","url":"https:\/\/www.bookshop.lv\/products\/logical-foundations-of-proof-complexity-cambridge-university-press-9780521517294-stephen-cook","provider":"Bookshop","version":"1.0","type":"link"}