@article{1183732303, author = {Myhill, John}, title = {Solution of a Problem of Tarski}, journal = {J. Symbolic Logic}, volume = {21}, number = {1}, year = {1956}, pages = { 49-51}, language = {en}, url = {http://dml.mathdoc.fr/item/1183732303} }
Myhill, John. Solution of a Problem of Tarski. J. Symbolic Logic, Tome 21 (1956) no. 1, pp. 49-51. http://gdmltest.u-ga.fr/item/1183732303/