初等模型论

更偏向数学一些，一方面是作者选取了一些模型论（紧致性定理，量词消去）在数学中的应用，另一方面模型论本身也更偏重数学构造和技巧，尤其到最后两章，几无概念直观可以借助。本书可以说把这套教材的精简风格发挥到极致了，大量内容没有展开，当课堂讲义用更适合

补标。姚师的书。看到有吐槽说这本书过于简洁，当成课堂讲义更合适，但其实这书原本就是课堂讲义的改编……

最代数化的模型论教材之一。定义清晰，记号选用严谨，不同于流行的几本教材的混乱。一些内容的处理特别而优雅，如利用Tarski准则证明L-S定理、可数情况的K-S定理、Morley定理的不同证明。