- 数理逻辑(基本原理与形式演算)(精)/信息科学与技术基础丛书
- 数理逻辑(基本原理与形式演算第2版)(精)/信息科学与技术基础丛书
- 数理逻辑(新编21世纪哲学系列教材)
- 数理逻辑(普通高等教育十五国家级规划教材)
- 数理逻辑(第2版)
- 数理逻辑(第2版)/图灵计算机科学丛书
- 数理逻辑(第2版影印版)(英文版)
- 数理逻辑(第2版普通高等学校十一五规划教材)
- 数理逻辑(英文版第2版)/图灵原版计算机科学系列
- 数理逻辑(计算机科学与技术研究生教材)
- 数理逻辑与集合论
- 数理逻辑与集合论(第2版)精要与题解
- 数理逻辑之美--方立教授纪念文集
- 数理逻辑入门
- 数理逻辑和算法理论(计算机科学与人工智能的数学基础)/人工智能应用丛书
- 数理逻辑基础(上册)
- 数理逻辑基础(下册)
- 数理逻辑基础与粒计算/计算机理论基础与应用丛书
- 数理逻辑实验教程(高等院校哲学专业核心课程教材)
- 数理逻辑导引
- 数理逻辑引论(高等学校十二五规划教材)
- 数理逻辑引论(高等学校理工科数学类规划教材)
- 数理逻辑引论--计算机科学与系统的天然基础
- 数理逻辑引论与归结原理(第2版)
- 数理逻辑引论与归结原理(精)
- 数理逻辑引论与归结原理/现代数学基础丛书
- 数理逻辑是什么
- 数理逻辑的思想与方法/南开哲学教材系列
- 数理逻辑的思想和方法
- 数理逻辑的思想和方法(精)/日月光华哲学书系