中国科学院数学与系统科学研究院期刊网
高型递归论,Kleene-递归论及一般递归论之间的一个关系
眭跃飞
数学学报 . 1988, (4): 558 -564 .  DOI: 10.12386/A1988sxxb0068