@article{1183507843,
author = {Post, Emil L.},
title = {A variant of a recursively unsolvable problem},
journal = {Bull. Amer. Math. Soc.},
volume = {52},
number = {12},
year = {1946},
pages = { 264-268},
language = {en},
url = {http://dml.mathdoc.fr/item/1183507843}
}
Post, Emil L. A variant of a recursively unsolvable problem. Bull. Amer. Math. Soc., Tome 52 (1946) no. 12, pp. 264-268. http://gdmltest.u-ga.fr/item/1183507843/