A note on the recursive unsolvability of primitive recursive arithmetic
HTML articles powered by AMS MathViewer
- by Richard E. Grandy PDF
- Proc. Amer. Math. Soc. 17 (1966), 146-147 Request permission
References
Additional Information
- © Copyright 1966 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 17 (1966), 146-147
- MSC: Primary 02.72
- DOI: https://doi.org/10.1090/S0002-9939-1966-0189988-4
- MathSciNet review: 0189988