{"product_id":"mathematical-logic-daniel-cunningham-9783110782011","title":"Mathematical Logic: An Introduction","description":"\u003cp\u003e\u003cem\u003eMathematical Logic: An Introduction\u003c\/em\u003e is a textbook that uses mathematical tools to \u003c\/p\u003e \u003cp\u003einvestigate mathematics itself. In particular, the concepts of proof and truth are examined. \u003c\/p\u003e \u003cp\u003eThe book presents the fundamental topics in mathematical logic and presents clear and \u003c\/p\u003e \u003cp\u003ecomplete proofs throughout the text. Such proofs are used to develop the language of \u003c\/p\u003e \u003cp\u003epropositional logic and the language of first-order logic, including the notion of a formal \u003c\/p\u003e \u003cp\u003ededuction. The text also covers Tarski's definition of truth and the computability concept. \u003c\/p\u003e \u003cp\u003eIt also provides coherent proofs of Godel's completeness and incompleteness theorems. \u003c\/p\u003e \u003cp\u003eMoreover, the text was written with the student in mind and thus, it provides an accessible \u003c\/p\u003e \u003cp\u003eintroduction to mathematical logic. In particular, the text explicitly shows the reader \u003c\/p\u003e \u003cp\u003ehow to prove the basic theorems and presents detailed proofs throughout the book. Most \u003c\/p\u003e \u003cp\u003eundergraduate books on mathematical logic are written for a reader who is well-versed \u003c\/p\u003e \u003cp\u003ein logical notation and mathematical proof. This textbook is written to attract a wider \u003c\/p\u003e \u003cp\u003eaudience, including students who are not yet experts in the art of mathematical proof. \u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Daniel Cunningham\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3110782014\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783110782011\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e de Gruyter\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 05\/22\/2023\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 270\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.96lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.61h x 6.69w x 0.57d","brand":"Daniel Cunningham","offers":[{"title":"Paperback","offer_id":44075910332671,"sku":"9783110782011","price":88.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_31d8fc8b-7724-46a4-b378-c650d34d6ae6.jpg?v=1685462143","url":"https:\/\/www.whiterainbookhouse.com\/products\/mathematical-logic-daniel-cunningham-9783110782011","provider":"WR Book House","version":"1.0","type":"link"}