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

{"_id":"6crABouRmhe3DNKQn","bibbaseid":"lachlan-recursiverealnumbers-1963","authorIDs":[],"author_short":["Lachlan, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Lachlan"],"firstnames":["A.H."],"suffixes":[]}],"title":"Recursive real numbers","year":"1963","volume":"28","pages":"1–16","file":"Lac63.pdf:Lac63.pdf:PDF","keywords":"bib,cca","bibtex":"@ARTICLE{Lac63,\r\n author = {Lachlan, A.H.},\r\n title = {Recursive real numbers},\r\n journal = JSL,\r\n year = {1963},\r\n volume = {28},\r\n pages = {1--16},\r\n file = {Lac63.pdf:Lac63.pdf:PDF},\r\n keywords = {bib,cca}\r\n}\r\n\r\n","author_short":["Lachlan, A."],"key":"Lac63","id":"Lac63","bibbaseid":"lachlan-recursiverealnumbers-1963","role":"author","urls":{},"keyword":["bib","cca"],"downloads":0},"bibtype":"article","biburl":"http://cca-net.de/publications/lit.bib","creationDate":"2019-09-10T10:17:53.897Z","downloads":0,"keywords":["bib","cca"],"search_terms":["recursive","real","numbers","lachlan"],"title":"Recursive real numbers","year":1963,"dataSources":["t7rKiAbxugj4Agz8M"]}