Über das Markov-Prinzip. Horst Luckhardt (1977) Archiv für mathematische Logik und Grundlagenforschung
Über das Markov-Prinzip II. Horst Luckhardt (1977) Archiv für mathematische Logik und Grundlagenforschung
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Gerhard Gentzen (1974) Archiv für mathematische Logik und Grundlagenforschung