中国科学院数学与系统科学研究院期刊网
数学推理的严格性与认识论中的实践标准
关肇直
数学学报 . 1976, (1): 1 -11 .  DOI: 10.12386/A1976sxxb0001