{"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":"\u003cp\u003e • Author(s): Geoffrey Hunter\u003cbr\u003e • Publisher: University of California Press\u003cbr\u003e • Publisher Imprint: University of California Press\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\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.\u003cbr\u003e\u003cbr\u003eHunter 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","brand":"University of California Press","offers":[{"title":"Paperback","offer_id":47592343470231,"sku":"9780520023567","price":3262.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9780520023567.webp?v=1774977353","url":"https:\/\/atlanticbooks.com\/products\/metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic-9780520023567","provider":"Atlantic Books","version":"1.0","type":"link"}