@article{PPN361748809+dmdlog17, title = {11. Das Entscheidungsproblem im IK.}, booktitle = {Encyklop\"adie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1}, series = {GDML\_Books}, year = {1952}, pages = {55}, url = {http://dml.mathdoc.fr/item/PPN361748809+dmdlog17} }
(éd.). 11. Das Entscheidungsproblem im IK., dans Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.1, GDML_Books, (1952), p. 55. http://gdmltest.u-ga.fr/item/PPN361748809+dmdlog17/