Elliott Mendelson, "Introduction to Mathematical Logic, Fifth Edition"
2009 | ISBN-10: 1584888768 | 469 pages | PDF | 3 MB
2009 | ISBN-10: 1584888768 | 469 pages | PDF | 3 MB
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.