1 Table of Contents: “...Preface -- Part I. Gödel's Results on Foundations -- Part II. Resultats on Foundations -- Part III...”

2 Table of Contents: “...Gödel's Functional Interpretation in Context -- Part I: Axiomatic Intuitionist Logic -- Part II...”

3 Table of Contents: “...Part I: A Sketch of Gentzen's Life and Work -- 1. Overture -- 2. Gentzen's years of study -- Dr...”

4 Table of Contents: “...Preface -- Dedication -- Part I: Gödel’s “Own Book on Foundations” -- Chapter 1. A Gödel puzzle...”

5 “... few mechanical rules. Gödel showed that whenever the part of mathematics under formalization contains...”