O000422　模型论导引

---

莫绍揆等编著。

南京大学出版社1990年5月版。7．9万字。著重介绍模型论的基本思想、基本概念和方法。

全书分4章。第一章介绍模型论的基本概念和必要的预备知识；第二章介绍初等类和常元扩张的结构图理论；第三章介绍一阶逻辑最重要的两个模型论性质，即紧致性和模型可数性；第四章介绍若干个选题，包括前缀问题、插入定理、机械证明的理论基础、模型论的发展动向。