Mathematical Logic

79,95 €
inkl. 7% MwSt. und
ggf. zzgl. Versand

<p><em>Mathematical Logic: An Introduction</em> is a textbook that uses mathematical tools to </p> <p>investigate mathematics itself. In particular, the concepts of proof and truth are examined. </p> <p>The book presents the fundamental topics in mathematical logic and presents clear and </p> <p>complete proofs throughout the text. Such proofs are used to develop the language of </p> <p>propositional logic and the language of first-order logic, including the notion of a formal </p> <p>deduction. The text also covers Tarski’s definition of truth and the computability concept. </p> <p>It also provides coherent proofs of Godel’s completeness and incompleteness theorems. </p> <p>Moreover, the text was written with the student in mind and thus, it provides an accessible </p> <p>introduction to mathematical logic. In particular, the text explicitly shows the reader </p> <p>how to prove the basic theorems and presents detailed proofs throughout the book. Most </p> <p>undergraduate books on mathematical logic are written for a reader who is well-versed </p> <p>in logical notation and mathematical proof. This textbook is written to attract a wider </p> <p>audience, including students who are not yet experts in the art of mathematical proof. </p>