中国科学院数学与系统科学研究院期刊网
RECURSIVE ALGORITHMS THEORY OF RECURSIVE ALGORITHMS Ⅰ
胡世華
Acta Mathematica Sinica, Chinese Series . 1960, (1): 66 -88 .  DOI: 10.12386/A1960sxxb0006