O000422　模型论导引

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第12册数理科学和化学、生物科学》第44页（198字）

莫绍揆等编着。南京大学出版社1990年5月版。7．9万字。着重介绍模型论的基本思想、基本概念和方法。全书分4章。第一章介绍模型论的基本概念和必要的预备知识；第二章介绍初等类和常元扩张的结构图理论；第三章介绍一阶逻辑最重要的两个模型论性质，即紧致性和模型可数性；第四章介绍若干个选题，包括前缀问题、插入定理、机械证明的理论基础、模型论的发展动向。