{"product_id":"metalogic","title":"Metalogic","description":"This 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. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers.","brand":"University of California Press","offers":[{"title":"Default Title","offer_id":54241543651672,"sku":"9780520023567","price":36.5,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0278\/1295\/4195\/files\/9780520023567_9929f9f5-b721-446c-b751-d6b7667667c4.jpg?v=1778581833","url":"https:\/\/agendabookshop.com\/products\/metalogic","provider":"Agenda Bookshop","version":"1.0","type":"link"}