Geodesic

Über die Bestimmbarkeit des Verhaltens von Algorithmen.
p. 12-35
Über Darstellungen der elementaren Funktionen II.
p. 36-48
A universal two-way automation.
p. 49-58
Eine Anmerkung zu Gödels Komprehensionstheorem.
p. 59-65
Anzahlquantoren in der Prädikatenlogik
p. 66-69
Protologische Untersuchugen I: ein allgemeiner Rahmen für naturgemässe Deduktion.
p. 70-94
Non-Uniqueness at ... in Kleene's O.
p. 95-101
Freges Begründung der Analysis.
p. 102-111
Constructive order types, III.
p. 112-116