An introduction to mathematical logic and type theory: To truth through proof. (Q1847766): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Elliott Mendelson / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Elliott Mendelson / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 04:54, 5 March 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
