A theorem on general recursive functions
HTML articles powered by AMS MathViewer
- by Shih-chao Liu PDF
- Proc. Amer. Math. Soc. 11 (1960), 184-187 Request permission
References
-
J. Myhill, A stumbling block in constructive mathematics, J. Symb. Logic vol. 18 (1953) pp. 190-191.
N. A. Routledge, Ordinal recursion, Proc. Cambridge Philos. Soc. vol. 49 (1953) pp. 175-182.
S. C. Kleene, Introduction to metamathematics, New York and Toronto, Van Nostrand, 1952.
Additional Information
- © Copyright 1960 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 11 (1960), 184-187
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1960-0130175-8
- MathSciNet review: 0130175