An introduction to mathematical logic and type theory: To truth through proof. (Q1847766)

This second edition represents a substantial expansion (390 pages compared with 304 pages) of the 1986 first edition (Zbl 0617.03001). The explanatory material has been enlarged and improved, and there are new historical notes and references. The addition of many new exercises (including an Appendix of Supplementary Exercises on pp. 339-343) is very useful. Also welcome is a much more extensive treatment of Gödel's Second Incompleteness Theorem and its applications.