Geodesic

Über Einfachheitsprinzipien in der Wahrscheinlichkeitstheorie I.
p. 3-25
Über die Axiome arithmetischer Klassen mit Abgeschlossenheitsbedingungen.
p. 26-36
Representability of recursively enumerable sets in formal theories.
p. 37-41
Number theoretic concepts and recursive well-orderings.
p. 42-64
Das Vereinfachungsproblem für aussagenlogische Normalformen.
p. 65-89
On the universal completeness of classes of relational systems.
p. 90-95
Ein typenfreies System der Logik mit ausreichender mathematischer Anwendungsfähigkeit II.
p. 96-111
Über die Unentscheidbarkeit gewisser Axiomenmengen.
p. 112
Ein formales System der klassischen Aussagenlogik mit einer einzigen Grundverknüpfung.
p. 113-118
Representability of recursively enumerable sets in formal theories.
p. 119-127