{"product_id":"proof-theory-and-automated-deduction-springer-verlag-new-york-inc-9781402003684-j-goubault-larrecq","title":"Proof Theory and Automated Deduction","description":"\u003cp\u003eDiscover the innovative world of \u003cstrong\u003eProof Theory and Automated Deduction\u003c\/strong\u003e by \u003cstrong\u003eJ. Goubault-Larrecq\u003c\/strong\u003e, published by \u003cstrong\u003eSpringer-Verlag New York Inc.\u003c\/strong\u003e in 2001. This insightful paperback edition, a softcover reprint of the original 1st edition from 1997, spans an impressive \u003cstrong\u003e444 pages\u003c\/strong\u003e and delves into the evolving landscape of applied logic.\u003c\/p\u003e \n\n\u003cp\u003eIn this groundbreaking work, Goubault-Larrecq explores how researchers are now customizing logic systems to suit their specific needs, akin to defining a computer language. The book emphasizes the significance of automated deduction in relation to logic, presenting it as a critical component of modern logical frameworks. Whether you're a student, researcher, or enthusiast of mathematical logic, this book provides valuable insights into the intersection of logic and technology.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of logic and its practical applications with this essential read!\u003c\/p\u003e","brand":"J. Goubault-Larrecq","offers":[{"title":"Default Title","offer_id":52231597654358,"sku":"9781402003684","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9781402003684.jpg?v=1767748523","url":"https:\/\/www.englishbook.fi\/products\/proof-theory-and-automated-deduction-springer-verlag-new-york-inc-9781402003684-j-goubault-larrecq","provider":"Bookshop","version":"1.0","type":"link"}