《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》共分为二十章，主要内容包括：模型论的发生与发展；关于集合论的准备知识；模型论的形式语言；模型的基本性质；紧致性定理与LST定理；初等予模型与模型完全的理论等。《新世纪高等学校教材•数学与应用数学基础课系列教材:模型论及其在计算机科学中的应用》给供相关人员参考阅读。