中国科学院数学与系统科学研究院期刊网
第一类原始递归算术A~0甲
沈百英
Acta Mathematica Sinica, Chinese Series . 1985, (3): 294 -307 .  DOI: 10.12386/A1985sxxb0033