俄罗斯数学家尤里·马宁的著作《数学家的数学逻辑课程》英文版第二版现在面向公众免费开放了

math.uchicago.edu/~shmuel/lg-readings/Manin,%20Logic%20for%20Mathematicians.pdf

本书是为数学家提供的一本高级的数学逻辑教科书，涵盖了数学逻辑的重要发现，如连续统假设的独立性、可数集的丢番图性质以及一些古老问题的算法不可解性。