@article{GDZPPN002272393,
title = {Zum Entscheidungsproblem der mathematischen Logik},
journal = {Mathematische Annalen},
volume = {98},
year = {1928},
pages = {342-372},
zbl = {54.0056.05},
url = {http://dml.mathdoc.fr/item/GDZPPN002272393}
}
Bernays, P.; Schönfinkel, M. Zum Entscheidungsproblem der mathematischen Logik. Mathematische Annalen, Tome 98 (1928) pp. 342-372. http://gdmltest.u-ga.fr/item/GDZPPN002272393/