{"product_id":"metalogic-9780520023567","title":"Metalogic","description":"\u003cdiv\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\/div\u003e","brand":"Geoffrey Hunter","offers":[{"title":"Default Title","offer_id":48274972836091,"sku":"9780520023567","price":33.95,"currency_code":"USD","in_stock":true}],"url":"https:\/\/indiepubs.com\/products\/metalogic-9780520023567","provider":"IndiePubs","version":"1.0","type":"link"}