@article{1183737313, author = {Davis, Martin}, title = {Review: Julia Robinson, Recursive Functions of One Variable}, journal = {J. Symbolic Logic}, volume = {35}, number = {1}, year = {1970}, language = {en}, url = {http://dml.mathdoc.fr/item/1183737313} }
Davis, Martin. Review: Julia Robinson, Recursive Functions of One Variable. J. Symbolic Logic, Tome 35 (1970) no. 1, . http://gdmltest.u-ga.fr/item/1183737313/