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