{"product_id":"incompleteness-and-computability-an-open-introduction-to-gdels-theorems-open-logic-project-textbooks-1077323395","title":"Incompleteness and Computability: An Open Introduction to Gdel's Theorems (Open Logic Project Textbooks)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 1077323395\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Zach, Richard\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eThis book is an introduction to metamathematics and Gdel's theorems. It covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus. It is based on the Open Logic Project, and available for free download at ic.openlogicproject.org.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51904797835552,"sku":"NEW1077323395","price":15.24,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/419qUVB0n-L.jpg?v=1782195212","url":"https:\/\/miakarts.com\/products\/incompleteness-and-computability-an-open-introduction-to-gdels-theorems-open-logic-project-textbooks-1077323395","provider":"Miakarts Books","version":"1.0","type":"link"}