A Course in Model Theory 数理逻辑与数学基础
Groups and Analysis:The Legacy of Hermann Weyl 数学分析
Tits Buildings and the Model Theory of Groups 代数学