Über eine Prädikatenlogik mit partiell definierten Prädikaten und Funktionen. Heinz-Dieter Ebbinghaus — 1969 Archiv für mathematische Logik und Grundlagenforschung
Über für-fast-alle-Quantoren. Heinz-Dieter Ebbinghaus — 1969 Archiv für mathematische Logik und Grundlagenforschung