Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences
@article{10_4064_fm_49_2_105_118, author = {R. Lehman}, title = {On primitive recursive real numbers}, journal = {Fundamenta Mathematicae}, pages = {105--118}, publisher = {mathdoc}, volume = {49}, number = {2}, year = {1960}, doi = {10.4064/fm-49-2-105-118}, language = {en}, url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-49-2-105-118/} }
R. Lehman. On primitive recursive real numbers. Fundamenta Mathematicae, Tome 49 (1960) no. 2, pp. 105-118. doi : 10.4064/fm-49-2-105-118. http://geodesic.mathdoc.fr/articles/10.4064/fm-49-2-105-118/
Cité par Sources :