中国科学院数学与系统科学研究院期刊网
论谓词演算 S_ε的单纯完全性
高恒珊
数学学报 . 1964, (4): 546 -548 .  DOI: 10.12386/A1964sxxb0051