A theorem on productive functions
HTML articles powered by AMS MathViewer
- by T. G. McLaughlin PDF
- Proc. Amer. Math. Soc. 14 (1963), 444 Request permission
References
- J. C. E. Dekker and J. Myhill, Some theorems on classes of recursively enumerable sets, Trans. Amer. Math. Soc. 89 (1958), 25–59. MR 97310, DOI 10.1090/S0002-9947-1958-0097310-7
- Raymond M. Smullyan, Theory of formal systems, Annals of Mathematics Studies, No. 47, Princeton University Press, Princeton, N.J., 1961. MR 0121300
Additional Information
- © Copyright 1963 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 14 (1963), 444
- MSC: Primary 02.70
- DOI: https://doi.org/10.1090/S0002-9939-1963-0147385-9
- MathSciNet review: 0147385