Geodesic

Der Nutzen der mathematischen Logik für die Mathematik.
p. 2-16
Das Auflösungsproblem in der Klassenlogik.
p. 17-29
Ein Beitrag zur Ordnungstheorie.
p. 30-32
Das Auflösungsproblem in der Klassenlogik. Fortsetzung.
p. 33-51
Zu den Parallelreihentransformationen in Schröders
p. 52-62
Eine Bemerkung über quasirekursive Funktionen.
p. 63-64
Bolzano's propositional Logic.
p. 65-98
Topologische Untersuchungen zur Semantik und Syntax eines erweiterten Prädikatenkalküls.
p. 99-128