Introduction to Mathematical Logic

This bestselling, classic textbook continues to provide a complete one-semester introduction to mathematical logic. The sixth edition incorporates recent work on Gödel's second incompleteness theorem as well as an appendix on consistency proofs for first-order arithmetic. It also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an in-depth, practical understanding of the material.

The Propositional Calculus. First-Order Logic and Model Theory. Formal Number Theory. Axiomatic Set Theory. Computability. Appendices.