Enderton, Herbert B. A mathematical introduction to logic. 2nd ed. (English) Zbl 0992.03001 San Diego, CA: Harcourt/Academic Press. xii, 317 p. (2001). The first edition of this book (1972; Zbl 0298.02002) is one of the most popular textbooks for a serious upper undergraduate and beginning graduate courses covering predicate logic (up to the completeness theorem) and computability (up to undecidability and the incompleteness theorems) with detailed definitions and proofs. The second edition preserves the bulk of the material and the general approach. Additions (in most cases restricted to several sentences) are made mainly to explain or motivate the exposition and to indicate computer science connections. An example is the expanded preview of incompleteness and undefinability in arithmetic that distinguishes between the self-reference approach, the diagonalization approach and the computability approach. This textbook is likely to preserve its prominent position despite the appearance of numerous competitors. Reviewer: G.Mints (Stanford) Cited in 141 Documents MSC: 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations Keywords:predicate logic; computability Citations:Zbl 0298.02002 PDFBibTeX XMLCite \textit{H. B. Enderton}, A mathematical introduction to logic. 2nd ed. San Diego, CA: Harcourt/Academic Press (2001; Zbl 0992.03001)