The latest new edition of this classic book, Introduction to Mathematical Logic 6th Edition explores the principal topics of mathematical logic. It covers propositional logic, axiomatic set theory, 1st-order number theory, 1st order logic, and the theory of computability. The PDF ebook also discusses the major results of Rosser, Godel, Church, Turing and Kleene, .
The 6th edition incorporates recent work on Gödel’s second incompleteness theorem as well as restoring an appendix on consistency proofs for first-order arithmetic. This appendix last appeared in the 1st edition. It is offered in the new edition for historical considerations. The ebook also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead math students to an in-depth, practical understanding of the material.
“Since it first appeared in 1964, Mendelson’s books have been recognized as excellent ebooks in the field. It is one of the most frequently mentioned ebooks in references and recommended reading lists … This ebook rightfully belongs in the small, elite set of superb ebooks that every computer science graduate, undergraduate student, scientist, and teacher should be familiar with.”
―Computing Reviews, May of 2010