{"product_id":"metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic","title":"Metalogic: An Introduction to the Metatheory of Standard First Order Logic","description":"\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\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\u003cdiv class=\"sb-details\"\u003e\u003cp\u003e\u003cstrong\u003eGenre:\u003c\/strong\u003e Mathematics, Logic\u003cbr\u003e\u003cstrong\u003eFormat:\u003c\/strong\u003e Paperback\u003cbr\u003e\u003cstrong\u003ePublished:\u003c\/strong\u003e 1971\u003cbr\u003e\u003cstrong\u003ePages:\u003c\/strong\u003e 288\u003cbr\u003e\u003cstrong\u003ePublisher:\u003c\/strong\u003e Macmillan\u003cbr\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 0333115902\u003c\/p\u003e\u003c\/div\u003e","brand":"Macmillan","offers":[{"title":"Standard Secondhand — £98.97","offer_id":47910135038129,"sku":"SB-0333115902-C3","price":98.97,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0618\/2669\/5345\/files\/0333115902.jpg?v=1789449919","url":"https:\/\/sellbooks.co.uk\/products\/metalogic-an-introduction-to-the-metatheory-of-standard-first-order-logic","provider":"Sell Books .co.uk","version":"1.0","type":"link"}