On primitive recursive real numbers
Lehman, R.
Fundamenta Mathematicae, Tome 49 (1961), p. 105-118 / Harvested from The Polish Digital Mathematics Library
Publié le : 1961-01-01
EUDML-ID : urn:eudml:doc:213580
@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/