【2023新书】现代数理逻辑，518页pdf

这本教材全面而现代地介绍了数学逻辑。作者在全书中使用了当代的符号、约定和视角，并强调了其与数学其他领域的交互作用。除了涵盖数学逻辑的基本概念和关于完备性、紧致性以及不完全性的基础材料外，它还专门介绍了现代学科的支柱：模型理论、集合论和可计算性。只需具备基础的本科数学背景，本文就能轻松适应各种一学期或两学期的高年级本科生或研究生入门课程。众多例子强化了关键理念，并展示了它们的应用，大量经过课堂测试的练习有助于巩固读者的理解。全面且引人入胜，本书为这一持久迷人且重要的主题提供了一种全新的方法。