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