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