Geodesic

Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit I.
p. 3-26
Die Anwendung eines Einfachheitsprinzips auf die Wahrscheinlichkeitstheorie.
p. 27-41
Ein logischer Habakus.
p. 42-52
Varianten von Turingmaschinen.
p. 53-64
The axiom of Fundierung and the axiom of choice.
p. 65-70
Über Interpretationen der Prädikatenkalküle höherer Stufe.
p. 71-80
Natürliche Zahlen, Ordnung, Nachfolge.
p. 81-94
Über die Axiome produkt-abgeschlossener arithmetischer Klassen.
p. 95-123
Einige Bemerkungen zur Grundlegung der Wahrscheinlichkeitstheorie in elementaren Sprachen.
p. 124-127