Recursive real numbers. Lachlan, A. 28:1–16, 1963.
bibtex   
@ARTICLE{Lac63,
  author = {Lachlan, A.H.},
  title = {Recursive real numbers},
  journal = JSL,
  year = {1963},
  volume = {28},
  pages = {1--16},
  file = {Lac63.pdf:Lac63.pdf:PDF},
  keywords = {bib,cca}
}

Downloads: 0