TY - JOUR AU - R. Lehman TI - On primitive recursive real numbers JO - Fundamenta Mathematicae PY - 1960 SP - 105 EP - 118 VL - 49 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.4064/fm-49-2-105-118/ DO - 10.4064/fm-49-2-105-118 LA - en ID - 10_4064_fm_49_2_105_118 ER -