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 and an appendix on consistency proofs for first-order arithmetic. It includes historical insights and a variety of new exercises that cater to different skill levels, enhancing students' practical understanding of the subject matter.