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 d