中国科学院数学与系统科学研究院期刊网
原始遞歸函數的定義
莫紹揆
ON THE DEFINITION OF PRIMITIVE RECURSIVE FUNCTIONS
数学学报 . 1955, (1): 109 -115 .  DOI: 10.12386/A1955sxxb0008