Mathematical Logic

在导师的帮助下仔仔细细读了一遍。这应该是目前最好的逻辑学导论了，读完之后对逻辑四论在研究什么会有一个初步的了解和大致的印象。需要一定的math maturity, 不适合作为第一本逻辑学教材。

找不到GTM那本 极力推荐 很好

有生之年能看到它的良好中译本吗🤔不过想来该看这本书的人都不大需要个中译本了😂

3/18: Part A完成。后半年准备期末考试，最近终于断断续续读到第十章，暂且告一段落。

容易累...

历时19个月，艰辛、苦涩、喜悦。最艰难的一道习题断断续续做了16个月，中途几度精神崩溃。值得注意之处：V.3 不可数语言下的完全性定理证明。IX.2.4 不依赖于完全性定理的L-S定理的证明，以及其强形式（子结构）。XI. 专业逻辑学教材上日渐少见的消解原理，适用于对逻辑编程及Prolog感兴趣的读者。 XII. 从代数刻画、逻辑刻画、博弈论刻画三个角度研究代数结构之间的关系，很有助于理解模型论这一学科的旨趣。 IX. XIII. 各种扩展逻辑、一阶逻辑的“本质”属性。“哪种逻辑是合理的？”这种看起来属哲学的问题可被形式化为在逻辑内部有效研究的问题。2021年5月14日：终于解决了最后一道习题。