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