Table of Contents: “... and Accomplishments: 1. The impact of Gödel's incompleteness theorems on mathematics Angus Macintyre; 2. Logical...”
Get full text

Table of Contents: “... and computability: VII. Gödel's incompleteness theorem ; VIII. Recursive groups ; IX. Constructive universe...”

Table of Contents: “... -- Index of Notation -- Index of Theorems --...”