smn定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/07/16 08:04 UTC 版)
関連項目
参考文献
- Odifreddi, P. (1999年). Classical Recursion Theory. North-Holland. ISBN 0-444-87295-7.
外部リンク
- ^ Soare, R. (1987年). Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag. ISBN 3-540-15299-7.
- ^ Rogers, H. (1987年) [1967年]. The Theory of Recursive Functions and Effective Computability. First MIT press paperback edition. ISBN 0-262-68052-1.
- ^ Kleene, S. C. (1943年). “General recursive functions of natural numbers”. Mathematische Annalen 53: 727–742.
- 1 smn定理とは
- 2 smn定理の概要
- 3 関連項目