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

莫绍揆等编着。

南京大学出版社1990年5月版。7.9万字。着重介绍模型论的基本思想、基本概念和方法。全书分4章。

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

分享到: