The new edition of this classic ebook, Introduction to Mathematical Logic, 6th Edition (PDF) 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 updated and revised 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.
Review
“Since it first appeared in 1964, Mendelson’s ebook 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 textbook 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
NOTE: This sale only includes the ebook Introduction to Mathematical Logic 6th edition in PDF. No access codes included.
Reviews
There are no reviews yet.