内容简介 · · · · · ·

《代数模型论引论》是代数模型论的一本人门书。第一章介绍代数模型论所需要的模型论的基础知识。第二章至第九章分别介绍代数模型论各主要领域在近二三十年来国外的主要研究成果和研究方法,其中包括代数闭域、实闭域、线性序和偏序结构的模型论等。最后一章介绍可计算模型论。《代数模型论引论》起点较低,具备数学系二、三年级知识的读者即可阅读,并具自完备性,以方便阅读。《代数模型论引论》终点较高,可引导具有数理逻辑基础知识的读者进入国际上的研究前沿。各章末均附有习题,以助读者深入理解《代数模型论引论》内容。

《代数模型论引论》可供高等院校数学、逻辑、哲学以及计算机科学等专业高年级本科生、研究生、教师和相关的科学研究工作者参考,也可作为相关专业研究生的教科书。