Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications)

Introduction to Mathematical Logic, Fifth Edition (Discrete Mathematics and Its Applications) by Mendelson, Elliott. hardcover edition. ISBN: 9781584888765.

Retaining all the key features of the previous editions, Introduction to Mathematical Logic, Fifth Edition explores the principal topics of mathematical logic. It covers propositional logic, first-order logic, first-order number theory, axiomatic set theory, and the theory of computability. The text also discusses the major results of Gödel, Church, Kleene, Rosser, and Turing. New to the Fifth Edition A new section covering basic ideas and results about nonstandard models of number theory A second appendix that introduces modal propositional logic An expanded bibliography Additional exercises and selected answers This long-established text continues to expose students to natural proofs and set-theoretic methods. Only requiring some experience in abstract mathematical thinking, it offers enough material for either a one- or two-semester course on mathematical logic.