@article{1183396174, author = {Kleene, S. C.}, title = {Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue}, journal = {J. Symbolic Logic}, volume = {12}, number = {1}, year = {1947}, pages = { 90-91}, language = {en}, url = {http://dml.mathdoc.fr/item/1183396174} }
Kleene, S. C. Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue. J. Symbolic Logic, Tome 12 (1947) no. 1, pp. 90-91. http://gdmltest.u-ga.fr/item/1183396174/