{"product_id":"9783110782011","title":"Mathematical Logic: An Introduction (De Gruyter Textbook)","description":"This textbook reviews the foundational topics that are typically covered in an introduction to proof course and studies the language of sentential logic as well as investigating the more powerful language of first-order logic and the notion of a formal deduction in first-order logic, in addition, it proves Godel's Completeness Theorem and discusses incompleteness and the computability concept.\u003cbr\u003e\u003cbr\u003e\u003cbr\u003e\u003cul\u003e\n\u003cli\u003e| \u003cb\u003eAuthor: \u003c\/b\u003eDaniel Cunningham\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublisher: \u003c\/b\u003eWalter De Gruyter\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003ePublication Date: \u003c\/b\u003eMay 08, 2023\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eNumber of Pages: \u003c\/b\u003e305 pages\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eLanguage: \u003c\/b\u003eEnglish\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eBinding: \u003c\/b\u003ePaperback\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-10: \u003c\/b\u003e3110782014\u003c\/li\u003e\n\u003cli\u003e| \u003cb\u003eISBN-13: \u003c\/b\u003e9783110782011\u003c\/li\u003e\n\u003c\/ul\u003e","brand":"Walter De Gruyter","offers":[{"title":"Default Title","offer_id":47993337938225,"sku":"9783110782011","price":85.15,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0798\/8215\/8385\/products\/9783110782011.jpg?v=1704032382","url":"https:\/\/www.recomparo.com\/products\/9783110782011","provider":"ReComparo.com","version":"1.0","type":"link"}