中国科学院数学与系统科学研究院期刊网
构造性实数论中几个基本谓词在Kleene分层下所属的类型
郝克刚
数学学报 . 1964, (4): 481 -493 .  DOI: 10.12386/A1964sxxb0045