Introduction to Mathematical Logic; 6th Edition (Discrete Mathematics and Its Applications)


Download Introduction to Mathematical Logic; 6th Edition (Discrete Mathematics and Its Applications) written by Elliott Mendelson in PDF format. This book is under the category Mathematics and bearing the isbn/isbn13 number 1482237725/978-1482237726. You may reffer the table below for additional details of the book.

Category: Tag:


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

Additional information


Elliott Mendelson


Chapman and Hall/CRC; 6th edition (June 8; 2015)




513 pages







Recent Posts

Sorry, no posts were found.