An introduction to mathematical logic and type theory: To truth through proof. (Q1847766): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q587231 |
||
| Property / reviewed by | |||
| Property / reviewed by: Elliott Mendelson / rank | |||
Revision as of 17:35, 19 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An introduction to mathematical logic and type theory: To truth through proof. |
scientific article |
Statements
An introduction to mathematical logic and type theory: To truth through proof. (English)
0 references
27 October 2002
0 references
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.
0 references
first-order logic
0 references
type theory
0 references
propositional logic
0 references
