Geodesic

Ein konstruktives System von Ordinalzahlen. II.
p. 3-11
Ein Bezeichnungssystem für Ordinalzahlen.
p. 12-17
Kodifikation und Aussagenlogik.
p. 18-38
Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen.
p. 39-53
Primitiv-rekursive Funktionen auf Termmengen.
p. 54-65
Über die Homogenisierbarkeit von Rechenprogrammen.
p. 66-71
Theophrastische Modallogik.
p. 72-75
A note on k-axiomatisations of identity.
p. 76-77
Open formulas and the empty domain.
p. 78-84
Rekursionszahlen und die Grzegorczyk-Hierarchie.
p. 85-98
On inaccessible cardinal numbers.
p. 99-103
Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle.
p. 104-118
Mengeninduktion und Fundierungsaxiom.
p. 119-133
Eine Verallgemeinerung des Hauptsatzes von Gentzen.
p. 134-150
A liberated version of S5.
p. 151-154
Decision procedures for S3... and S4.. .
p. 155-158
Schnittelimination in einem Teilsystem der einfachen Typenlogik.
p. 159-178
Über für-fast-alle-Quantoren.
p. 179-193