Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MZ_1952__57_169311, author = {Wilhelm Ackermann}, title = {Widerspruchsfreier {Aufbau} einer typenfreien {Logik.} {II.}}, journal = {Mathematische Zeitschrift}, pages = {155--166}, publisher = {mathdoc}, volume = {57}, year = {1952}, language = {de}, url = {http://geodesic.mathdoc.fr/item/MZ_1952__57_169311/} }
Wilhelm Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II.. Mathematische Zeitschrift, Tome 57 (1952), pp. 155-166. http://geodesic.mathdoc.fr/item/MZ_1952__57_169311/