Geodesic

Die Vollständigkeit des Operatorensystems {..., ..., ..., ...} für die intuituionistische Aussagenlogik im Rahmen der Gentzensemantik.
p. 3-16
Eine Art von Gleichwertigkeit zahlentheoretischer und mengentheoretischer Axiomensysteme.
p. 17-31
Dialogspiele als semantische Grundlage von Logikkalkülen.
p. 32-55
Quasideduktive Systeme und S-Algebren.
p. 56-67
Die Vollständigkeit der verzweigten Typenlogik mit unendlicher Terminduktion.
p. 68-72
Dialogspiele als semantische Grundlage von Logikkalkülen. II. Die Rolle der Logikkalküle in der Theorie der Dialogspiele.
p. 73-100
Quasideduktive Systeme und S-Algebren.II.
p. 101-112
Semi-effective numberings and definitions of the computable numbers.
p. 113-125
Ein konstruktives System von Ordinalzahlen.
p. 126-137