@article{1183738333, author = {Robinson, Julia}, title = {Review: Martin Davis, Application of Recursive Function Theory to Number Theory}, journal = {J. Symbolic Logic}, volume = {37}, number = {1}, year = {1972}, language = {en}, url = {http://dml.mathdoc.fr/item/1183738333} }
Robinson, Julia. Review: Martin Davis, Application of Recursive Function Theory to Number Theory. J. Symbolic Logic, Tome 37 (1972) no. 1, . http://gdmltest.u-ga.fr/item/1183738333/