Chapman and Hall/CRC; 6th edition (June 8; 2015)
The new edition of this classic book; Introduction to Mathematical Logic; 6th Edition explores the principal topics of mathematical logic. It covers propositional logic; 1st-order number theory; axiomatic set theory; 1st order logic; and the theory of computability. The textbook also discusses the major results of Gödel; Church; Rosser; 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 first edition. It is offered in the new edition for historical considerations. The etextbook also offers historical perspectives and many new exercises of varying difficulty; which motivate and lead college students to an in-depth; practical understanding of the material.
“Since it first appeared in 1964; Mendelson’s book has been recognized as an excellent textbook in the field. It is one of the most frequently mentioned textbooks in references and recommended reading lists … This book rightfully belongs in the elite; small; set of superb textbooks that every computer science graduate; graduate student; scientist; and teacher should be familiar with.”
―Computing Reviews; May 2010