On primitive recursive real numbers

Publishing house / Journals and Serials / Fundamenta Mathematicae / All issues

R. Lehman Fundamenta Mathematicae 49 (1961), 105-118 DOI: 10.4064/fm-49-2-105-118