@article{GDZPPN002382717, title = {Widerspruchsfreier Aufbau einer typenfreien Logik.}, journal = {Mathematische Zeitschrift}, volume = {55}, year = {1951}, pages = {364-384}, zbl = {0050.24501}, url = {http://dml.mathdoc.fr/item/GDZPPN002382717} }
Ackermann, Wilhelm. Widerspruchsfreier Aufbau einer typenfreien Logik.. Mathematische Zeitschrift, Tome 55 (1951) pp. 364-384. http://gdmltest.u-ga.fr/item/GDZPPN002382717/