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