@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/