Recursive real numbers
- 12 March 1963
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 28 (1) , 1-16
- https://doi.org/10.2307/2271331
Abstract
Recursive real numbers - Volume 28 Issue 1 - A. H. LachlanKeywords
This publication has 3 references indexed in Scilit:
- On primitive recursive real numbersFundamenta Mathematicae, 1960
- On computable sequencesFundamenta Mathematicae, 1957
- Rekursive FunktionenThe Journal of Symbolic Logic, 1951