中国科学院数学与系统科学研究院期刊网
直觉主义量词模态逻辑系统MIPC~*的可靠性定理
高恒珊
Soundness Theorem for Intuitionistic Quantified Modal Logic System MIPC
Heng Shan GAO
数学学报 . 2003, (3): 463 -468 .  DOI: 10.12386/A2003sxxb0065