中国科学院数学与系统科学研究院期刊网
原始递归字算术WA的公理系统
沈百英
数学学报 . 1981, (5): 717 -724 .  DOI: 10.12386/A1981sxxb0075