@article{1077377463, author = {Lachlan, A. H.}, title = {The elementary theory of recursively enumerable sets}, journal = {Duke Math. J.}, volume = {35}, number = {1}, year = {1968}, pages = { 123-146}, language = {en}, url = {http://dml.mathdoc.fr/item/1077377463} }
Lachlan, A. H. The elementary theory of recursively enumerable sets. Duke Math. J., Tome 35 (1968) no. 1, pp. 123-146. http://gdmltest.u-ga.fr/item/1077377463/