Recursive Real Numbers
- 1 October 1954
- journal article
- Published by JSTOR in Proceedings of the American Mathematical Society
- Vol. 5 (5) , 784-791
- https://doi.org/10.2307/2031867
Abstract
References [Enhancements On Off] (What's this?)Keywords
This publication has 3 references indexed in Scilit:
- Introduction to Metamathematics. By S. C. Kleene. Pp. x, 550, Fl. 32.50. 1952. (Noordhoff, Groningen; North-Holland Publishing Co., Amsterdam)The Mathematical Gazette, 1954
- Arithmetical definability of field elementsThe Journal of Symbolic Logic, 1951
- Nicht konstruktiv beweisbare Sätze der AnalysisThe Journal of Symbolic Logic, 1949