An introduction to mathematical logic and type theory: To truth through proof. 2nd. ed. (English) Zbl 1002.03002

Andrews, Peter B.

Applied Logic Series. 27. Dordrecht: Kluwer Academic Publishers. xviii, 390 p. (2002).

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.

Reviewer: Elliott Mendelson (Flushing)

MSC:

03-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B15	Higher-order logic; type theory (MSC2010)
03B10	Classical first-order logic
03B05	Classical propositional logic
03D99	Computability and recursion theory

Keywords:

first-order logic; type theory; propositional logic

Citations:

Zbl 0617.03001

Software:

ETPS