1 Table of Contents: “...The Evolution of Type Theory until the 1940s -- Prehistory -- Type theory in Principia Mathematica...”

2 Table of Contents: “...The papers of Alfred Young 1873–1940 -- Une forme geometrique de la correspondance de Robinson...”

3 “... the conjecture since the first publication of the subject in the 1940s. It is a useful survey for researchers...”

4 Table of Contents: “...4.12 Retrospect and Prospect -- Epilogue: After Gödel -- 5.1 A Period of Stability: 1940–1963...”

5 “... century, and in the 1940's in the work of Tarski and others on relational algebras. The representation...”

6

7 “... of ANNs and FL may be traced back to the 1940s and 1960s, respectively, the most rapid progress has only...”

8