中国科学院数学与系统科学研究院期刊网
第二类原始递归算术 A~0(D)
沈百英
数学学报 . 1984, (3): 345 -363 .  DOI: 10.12386/A1984sxxb0030