朱梧槚 顾红芳 朱剑英 朱朝晖 肖文洁 白鹏

证明论 怀疑等价 数理逻辑 拟怀疑等价 清晰化算符 谓词演算 中介命题演算 全称量词

空军气象学院 南京大学数学系 南京大学空军气象学院 解放军理工大学理学院 南京航空航天大学信息科学与技术学院