论文信息 - Effective operations on partial recursive functions - 字舞流文

Effective operations on partial recursive functions

John C. Shepherdson | J. Shepherdson | J. Myhill | J. Myhill

[1] S. C. Kleene,et al. Introduction to Metamathematics , 1952 .

[2] H. Rice. Classes of recursively enumerable sets and their decision problems , 1953 .