1. Die Widerspruchsfreiheit der allgemeinen Mengenlehre;Ackermann;Math. Annalen,1937
2. Zur Widerspruchsfreiheit der Zahlentheorie;Ackermann;Math. Annalen,1940
3. Widerspruchsfreier Aufbau der Logik I. (Typenfreies System ohne tertium non datur.);Ackermann;J.S.L.,1950
4. Review of Fitch 52;Ackermann;J.S.L.,1952
5. Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.);Ackermann;Math. Ztschr.,1952