On primitive recursive real numbers
Volume 49 / 1961
Fundamenta Mathematicae 49 (1961), 105-118
DOI: 10.4064/fm-49-2-105-118