中国科学院数学与系统科学研究院期刊网
“纯逻辑演算”中不依赖量词的部分
沈有鼎
数学学报 . 1981, (5): 650 -655 .  DOI: 10.12386/A1981sxxb0067