中国科学院数学与系统科学研究院期刊网
一種遞歸式的原始遞歸性
胡世華
ON THE PRIMITIVE RECURSIVENESS OF CERTAIN RECURSIONS
数学学报 . 1956, (1): 93 -104 .  DOI: 10.12386/A1956sxxb0007