Ein Satz über die elementar-arithmetischen Definierbarkeitsklassen. Werner Markwald Archiv für mathematische Logik und Grundlagenforschung
Prädikatenlogik mit partiell definierten Funktionen II. Werner Markwald — 1974 Archiv für mathematische Logik und Grundlagenforschung
Prädikatenlogik mit partiell definierten Funktionen. Werner Markwald — 1971 Archiv für mathematische Logik und Grundlagenforschung