搜索到 篇“ 公理集合论 “的相关文章

相关作者

肖奚安
作品数：41被引量：153H指数：7
供职机构：解放军理工大学理学院
研究主题：中介逻辑 公理集合论 中介 命题演算 数理逻辑
朱梧槚
作品数：75被引量：303H指数：9
供职机构：南京航空航天大学计算机科学与技术学院计算机科学与技术系
研究主题：中介逻辑 实无限 公理集合论 中介 人工智能
宋方敏
作品数：53被引量：120H指数：6
供职机构：南京大学计算机科学与技术系
研究主题：量子计算 形式化设计 公理集合论 操作系统 量子算法
顾红芳
作品数：11被引量：160H指数：4
供职机构：解放军理工大学理学院
研究主题：公理集合论 直觉主义 实无穷 互反判断矩阵 互补判断矩阵
王世强
作品数：84被引量：71H指数：5
供职机构：北京师范大学数学科学学院
研究主题：模型论 紧致性定理 数学 素数 英文