Geodesic

Die Äquivalenz des klassischen und intutionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in kleenes Kalkül H.
p. 3-27
On Definitions.
p. 28-44
Untersuchungen über die Struktur des Kleene-Postschen Halbverbandes der Grade der reukrsiven Unlösbarkeit.
p. 45-62
Zur Stufenreduktion von Kalkülen.
p. 63-103
Recursively enumerable classes and their application to recursive sequences of formal theories.
p. 104-121