高型递归论,Kleene-递归论及一般递归论之间的一个关系
Acta Mathematica Sinica, Chinese Series ›› 1988, Vol. 31 ›› Issue (4) : 558-564.
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |