魏达格（Dag Westerståhl）教授的新书 Foundations of Logic 由斯坦福大学语言与信息研究中心出版社（CSLI Publications）于2023年12月出版。该书详细讲述了现代逻辑的三大基石：一阶逻辑的完备性、哥德尔的不完备性定理和图灵的可计算性理论。同时，该书不仅介绍了这三部分理论严格的数学内容，还阐述了这些理论的历史背景和哲学影响，达到了技术细节和哲学思想之间的平衡。
这是我近年来新看到的最引人入胜的数理逻辑入门教材……该书的内容选择是明智的，阐述动机与哲学思想的篇幅和清晰仔细的形式细节之间的平衡对我来说恰到好处。这本书应该会很适合作为许多学生读者的自学教材。
关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。
