Introduction to Mathematical Logic

The sixth edition of this classic textbook offers a comprehensive introduction to mathematical logic, featuring recent developments such as Gödel's second incompleteness theorem. It includes an appendix on consistency proofs for first-order arithmetic, enriching the learning experience with historical perspectives. Additionally, the book presents a variety of new exercises that cater to different skill levels, enhancing both understanding and application of mathematical logic concepts.