{"product_id":"9780520023567","title":"Metalogic: An Introduction to the Metatheory of Standard First Order Logic","description":"\u003cbr\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.\u003cp\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":"Default Title","offer_id":48898506490096,"sku":"9780520023567","price":33.95,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0737\/7593\/9824\/files\/9780520023567_p0.jpg?v=1772213526","url":"https:\/\/shop-qa.barnesandnoble.com\/products\/9780520023567","provider":"Barnes \u0026 Noble (DEV)","version":"1.0","type":"link"}