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