@article{GDZPPN00227728X,
title = {Untersuchungen \"uber das Eliminationsproblem der mathematischen Logik},
journal = {Mathematische Annalen},
volume = {111},
year = {1935},
pages = {390-413},
zbl = {0009.38601},
url = {http://dml.mathdoc.fr/item/GDZPPN00227728X}
}
ACKERMANN, W. Untersuchungen über das Eliminationsproblem der mathematischen Logik. Mathematische Annalen, Tome 111 (1935) pp. 390-413. http://gdmltest.u-ga.fr/item/GDZPPN00227728X/