Geodesic

Der Aufbau einer höheren Logik.
p. 5-22
Semantische Begründung der derivativen Implikationslogik.
p. 23-28
Two Examples of Algorithms.
p. 29-44
Eine Grenze für die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik.
p. 45-60
A Simplified Nomalization of Predicate Logic with Identity.
p. 61-80
On Tarski's Formalization of Predicate Logic with Identity.
p. 81-101
Substitutionless Predicate Logic with Identity.
p. 102-121
A Remark on Equational Completeness.
p. 122-123
A Note Concerning the Rules of Inference for Quantifiers.
p. 124-127
Ein neuer Beweis für die Entscheidbarkeit des einstelligen Prädikatenkalküls mit Identität.
p. 128-138
Darstellungen der (im Kalmar-Csillag'schen Sinne) elementaren Funktionen.
p. 139-158