An introduction to mathematical logic and type theory: To truth through proof. (Q1847766)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: An introduction to mathematical logic and type theory: To truth through proof. |
scientific article; zbMATH DE number 1820656
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An introduction to mathematical logic and type theory: To truth through proof. |
scientific article; zbMATH DE number 1820656 |
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
0.8242548108100891
0 references
0.8089898228645325
0 references
0.8004969358444214
0 references
0.7939361333847046
0 references
