Voir la notice de l'article provenant de la source Math-Net.Ru
@article{MAT_1964_8_5_a2, author = {Raphael M. Robinson}, title = {Arithmetical representation of recursively enumerable sets}, journal = {Matematika}, pages = {23--48}, publisher = {mathdoc}, volume = {8}, number = {5}, year = {1964}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a2/} }
Raphael M. Robinson. Arithmetical representation of recursively enumerable sets. Matematika, Tome 8 (1964) no. 5, pp. 23-48. http://geodesic.mathdoc.fr/item/MAT_1964_8_5_a2/