- 数理群思融智探新
- 数理语言学(增订本)
- 数理逻辑
- 数理逻辑
- 数理逻辑 证明及其限度(第2版)
- 数理逻辑(中国社会科学院研究生重点教材)
- 数理逻辑(中国高等学校计算机科学与技术专业应用型规划教材)
- 数理逻辑(基本原理与形式演算)(精)/信息科学与技术基础丛书
- 数理逻辑(基本原理与形式演算第2版)(精)/信息科学与技术基础丛书
- 数理逻辑(新编21世纪哲学系列教材)
- 数理逻辑(普通高等教育十五国家级规划教材)
- 数理逻辑(第2版)
- 数理逻辑(第2版)/图灵计算机科学丛书
- 数理逻辑(第2版影印版)(英文版)
- 数理逻辑(第2版普通高等学校十一五规划教材)
- 数理逻辑(英文版第2版)/图灵原版计算机科学系列
- 数理逻辑(计算机科学与技术研究生教材)
- 数理逻辑与集合论
- 数理逻辑与集合论(第2版)精要与题解
- 数理逻辑之美--方立教授纪念文集
- 数理逻辑入门
- 数理逻辑和算法理论(计算机科学与人工智能的数学基础)/人工智能应用丛书
- 数理逻辑基础(上册)
- 数理逻辑基础(下册)
- 数理逻辑基础与粒计算/计算机理论基础与应用丛书
- 数理逻辑实验教程(高等院校哲学专业核心课程教材)
- 数理逻辑导引
- 数理逻辑引论(高等学校十二五规划教材)
- 数理逻辑引论(高等学校理工科数学类规划教材)
- 数理逻辑引论--计算机科学与系统的天然基础