@article{1183732396, author = {Robinson, Raphael M.}, title = {Arithmetical Representation of Recursively Enumerable Sets}, journal = {J. Symbolic Logic}, volume = {21}, number = {1}, year = {1956}, pages = { 162-186}, language = {en}, url = {http://dml.mathdoc.fr/item/1183732396} }
Robinson, Raphael M. Arithmetical Representation of Recursively Enumerable Sets. J. Symbolic Logic, Tome 21 (1956) no. 1, pp. 162-186. http://gdmltest.u-ga.fr/item/1183732396/