{"product_id":"metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic-9780520023567","title":"Metalogic: An Introduction to the Metatheory of Standard First Order Logic","description":"\u003cdiv class=\"book-description\"\u003e\n\u003cp\u003e\u003cstrong\u003eMetalogic: An Introduction to the Metatheory of Standard First Order Logic\u003c\/strong\u003e by Hunter, Geoffrey. paperback edition. ISBN: 9780520023567.\u003c\/p\u003e\n\u003cp\u003eThis work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.\n\nHunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.\u003c\/p\u003e\n\u003c\/div\u003e","brand":"University of California Press","offers":[{"title":"Default Title","offer_id":45255469662261,"sku":"ByrdShop_0520023560","price":28.88,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0627\/8139\/0901\/files\/9780520023567_35b9adbb-380e-498e-a1dc-57d4a7fb3522.jpg?v=1779929538","url":"https:\/\/atxbooks.com\/products\/metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic-9780520023567","provider":"ATX Books","version":"1.0","type":"link"}