Voir la notice de l'article provenant de la source European Digital Mathematics Library
@article{MAN_1935__110_159730, author = {W. ACKERMANN}, title = {Untersuchungen \"uber das {Eliminationsproblem} der mathematischen {Logik}}, journal = {Mathematische Annalen}, pages = {390--413}, publisher = {mathdoc}, volume = {110}, year = {1935}, zbl = {0009.38601}, url = {http://geodesic.mathdoc.fr/item/MAN_1935__110_159730/} }
W. ACKERMANN. Untersuchungen über das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, Tome 110 (1935), pp. 390-413. http://geodesic.mathdoc.fr/item/MAN_1935__110_159730/