1. System der typefreien Logik I.;Ackermann;Forschungen zur Logik und zur exakten Wissenschaften,,1941
2. Widerspruchsfreier Aufbau der Logik. Typenfreies System ohne Tertium non datur.;Ackermann;Journal of Symbolic Logic,1950
3. Widerspruchsfreier Aufbau einer typenfreien Logik I;Ackermann;Mathematische Zeitschrift,1952
4. Ein typenfreies System der Logik mit ausreichender logischen Anwendungsfähigkeit;Ackermann;Archive for Mathematical Logic,1958
5. Grundgedanken einer typenfreien Logik;Ackermann,1961