@article{bwmeta1.element.bwnjournal-article-fmv49i2p105bwm,
author = {R. Lehman},
title = {On primitive recursive real numbers},
journal = {Fundamenta Mathematicae},
volume = {49},
year = {1961},
pages = {105-118},
zbl = {0199.03301},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv49i2p105bwm}
}
Lehman, R. On primitive recursive real numbers. Fundamenta Mathematicae, Tome 49 (1961) pp. 105-118. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv49i2p105bwm/