第一章 一阶逻辑预备知识 1
1.1 一阶逻辑的语言 1
1.2 一阶逻辑的推演（语法） 7
1.3 一阶逻辑的模型（语义） 13
1.4 常见的理论与模型 17
1.5 模型间的相互关系 25
1.6 一阶逻辑的完全理论 32
1.7 稳定性与单纯性理论 40
第二章 经典结构模型论研究 46
2.1 量词消去的概念与方法 46
2.2 无端点稠密线性序 52
2.3 无扭可除交换群 57
2.4 可除有序交换群 62
2.5 Presburger算术 66
2.6 代数闭域 72
2.7 实闭域 76
第三章 几个定理的新证明 84
3.1 完全k叉树的量词消去 85
3.2 完全无穷叉树的量词消去 92
3.3 完全稠密二叉偏序的量词消去 97
第四章 带根节点的树理论 117
4.1 语言与基本公理 117
4.2 量词消去的准备工作 118
4.3 DTR在L0中的量词消去 120
4.4 DTR在L1中的量词消去 126
4.5 UTR理论的量词消去 141
4.6 DTR与UTR的模型论性质 145
第五章 有最小元的树形偏序 148
5.1 语言与基本公理 148
5.2 有最小元的树形偏序结构 149
5.3 量词消去的准备工作 154
5.4 OLE理论的量词消去 162
5.5 OLE理论的模型论性质 171
第六章 尚待解决的若干问题 175
参考文献 177