中国科学院数学与系统科学研究院期刊网
一般递归函数的笵式
胡世华;陆钟万
NORMAL FORMS OF GENERAL RECURSIVE FUNCTIONS
数学学报 . 1958, (4): 507 -520 .  DOI: 10.12386/A1958sxxb0047