CP：皇科／勒布朗，科比
以攻为第一人称，攻定义为忠犬攻，受定义为女王别扭受。
- 数理逻辑(第2版普通高等学校十一五规划教材)
- 数理逻辑(英文版第2版)/图灵原版计算机科学系列
- 数理逻辑(计算机科学与技术研究生教材)
- 数理逻辑与集合论
- 数理逻辑与集合论(第2版)精要与题解
- 数理逻辑之美--方立教授纪念文集
- 数理逻辑入门
- 数理逻辑和算法理论(计算机科学与人工智能的数学基础)/人工智能应用丛书
- 数理逻辑基础(上册)
- 数理逻辑基础(下册)
- 数理逻辑基础与粒计算/计算机理论基础与应用丛书
- 数理逻辑实验教程(高等院校哲学专业核心课程教材)
- 数理逻辑导引
- 数理逻辑引论(高等学校十二五规划教材)
- 数理逻辑引论(高等学校理工科数学类规划教材)
- 数理逻辑引论--计算机科学与系统的天然基础
- 数理逻辑引论与归结原理(第2版)
- 数理逻辑引论与归结原理(精)
- 数理逻辑引论与归结原理/现代数学基础丛书
- 数理逻辑是什么
- 数理逻辑的思想与方法/南开哲学教材系列
- 数理逻辑的思想和方法
- 数理逻辑的思想和方法(精)/日月光华哲学书系
- 数理金融
- 数理金融(21世纪高等学校金融学系列教材)
- 数理金融(不确定理论框架下的投资组合分析新文科建设教材)/金融学系列
- 数理金融(资产定价的原理与模型)/数量经济学系列丛书
- 数理金融(资产定价的原理与模型第2版)/数量经济学系列丛书
- 数理金融(资产定价的原理与模型第3版十二五普通高等教育本科国家级规划教材)/数量经济学系列丛书
- 数理金融--资产定价与金融决策理论(第2版21世纪高等院校教材)