An introduction to mathematical logic and type theory: To truth through proof.
type: Item
instance of: scholarly article
title: An introduction to mathematical logic and type theory: To truth through proof.
zbMATH Open document ID: 1002.03002
author: Peter B. Andrews
published in: Applied Logic Series
publication date: 2002-10-27T00:00:00Z
review text: 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.
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B10
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03D99
zbMATH DE Number: 1820656
zbMATH Keywords: first-order logic
zbMATH Keywords: type theory
zbMATH Keywords: propositional logic
reviewed by: Elliott Mendelson
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1820656