{"product_id":"metalogic-university-of-california-press-9780520023567-an-introduction-to-the-metatheory-of-standard-first-order-logic-geoffrey-hunter","title":"Metalogic","description":"\u003cp\u003eDiscover the profound insights of logic with \u003cstrong\u003eMetalogic\u003c\/strong\u003e by \u003cstrong\u003eGeoffrey Hunter\u003c\/strong\u003e, published by the esteemed \u003cstrong\u003eUniversity of California Press\u003c\/strong\u003e in 1973. This engaging paperback spans \u003cstrong\u003e302 pages\u003c\/strong\u003e and serves as an essential resource for anyone interested in mathematical logic and philosophy.\u003c\/p\u003e \n\n\u003cp\u003eIn \u003cstrong\u003eMetalogic\u003c\/strong\u003e, Hunter provides readers with comprehensive proofs of the fundamental metatheorems of standard first-order logic, which is primarily truth-functional. One of the highlights of this work is the complete proof of the undecidability of first-order logic, a pivotal finding that has shaped the field over the last fifty years. This book is a must-have for students, scholars, and enthusiasts of logic and philosophy, offering a deep dive into the intricacies of metatheory.\u003c\/p\u003e \n\n\u003cp\u003eEnhance your understanding of logic with this classic text that combines rigorous analysis with clear explanations.\u003c\/p\u003e","brand":"Geoffrey Hunter","offers":[{"title":"Default Title","offer_id":52235604066646,"sku":"9780520023567","price":35.16,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780520023567.jpg?v=1767755744","url":"https:\/\/www.englishbook.pt\/products\/metalogic-university-of-california-press-9780520023567-an-introduction-to-the-metatheory-of-standard-first-order-logic-geoffrey-hunter","provider":"Bookshop","version":"1.0","type":"link"}