Mehrsortige logische Systeme mit unendlich langen Formeln I. Werner Carstengerdes — 1971 Archiv für mathematische Logik und Grundlagenforschung
Mehrsortige logische Systeme mit unendlich langen Formeln II. Werner Carstengerdes — 1971 Archiv für mathematische Logik und Grundlagenforschung