{"product_id":"mathematical-logic-paperback-1","title":"Mathematical Logic: An Introduction - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eDaniel Cunningham\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\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\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eDaniel W. Cunningham is a Professor Emeritus of Mathematics at SUNY Buffalo State, a \u003c\/p\u003e \u003cp\u003ecampus of the State University of New York. Daniel received a Ph.D. in Mathematics from \u003c\/p\u003e \u003cp\u003eUCLA, specializing in mathematical logic. He currently teaches at California State University \u003c\/p\u003e \u003cp\u003eat Fresno. Cunningham's research focus is in set theory, and has recently published \u003c\/p\u003e \u003cp\u003etwo research papers and two textbooks \u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 270\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.9 x 9.4 x 6.7 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e June 02, 2023\u003c\/div\u003e\n            ","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":53045526364384,"sku":"9783110782011","price":129.4,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0811\/5909\/4496\/files\/MJajp37IMN9783110782011.webp?v=1781461331","url":"https:\/\/improvedinc.myshopify.com\/products\/mathematical-logic-paperback-1","provider":"Improved Improper Input Inc.","version":"1.0","type":"link"}