代数模型论引论

数理逻辑是数学的一个分支。模型论是数理逻辑的四大论之一，也是数理逻辑研究中目前最活跃的一论。模型论通常又分为代数模型论和抽象模型论。本书为介绍前者的一本专著。关于后者，作者已有一本书由科学出版社在2004年出版。本书第一章讲述模型论的基础知识，接下来2～9章分别介绍代数模型论各领域的近20～30年来的最新研究成果及研究方法。大多数内容是由近年来发表在国外和将要发表的研究论文及有关专著压缩而成。最后一章介绍可计算模型论。作者希望本书能够引导具有数理逻辑初步知识的读者进到国际的研究前沿，并从事这方面的研究工作。