Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen. F.-K. Mahn (1966) Archiv für mathematische Logik und Grundlagenforschung
Zur Beweistheorie der Kripke-Platek-Mengenlehre über den natürlichen Zahlen. Gerhard Jäger (1982) Archiv für mathematische Logik und Grundlagenforschung
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen. H. Bremer, C.H.H. Reynvaan (1975) Archiv für mathematische Logik und Grundlagenforschung
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe. Michael Deutsch (1975) Archiv für mathematische Logik und Grundlagenforschung