数理逻辑导引

可读性差

非常精彩，也很全面，不过目前对于我来说还在学习中，啃起来会慢一点。建议读者有一定的高数，数分和符号逻辑基础（徐明老师那本书就挺好，虽然啰嗦但是细致全面），另外，冯琦老师的一阶逻辑课程视频在b站也有，讲的比较清楚且不是很艰涩，可以找来看看。

非常详尽，可以说基本解决哥德尔不完全定理之前的全部问题，后面代数模型论的部分也很好，并且为形式系统的扩张和完备性提供了清晰生动的例子。内容部分除了常见的定义、定理和范例之外，还增加了“问题”，解释了领域内诸核心理论的意义和作用。唯一可惜的是印刷错误不少

数学系教材，数理逻辑+大量的模型论初步与代数例子。写得并不好，许多名词译法与通行不同，难度层次与详略的划分只能说相当差。22.4.7：重读才体会到冯琦老师将实闭域的可判定性这样晚至50年代的结果放在前面大量展开是为了遵循一种先处理可完备化的常规数学理论，最后与算术形成极大对比的路径，正如Tarski1930年初认为的那样”一切常见的丰富系统即使不是完全的，也都是可完全的“。加一星。

自学了四分之一到三分之一，需要花费相当多的时间。总体上也可以，但可能因为是讲稿编出来的，内容安排上不够好。例如，前面直接用的概念，到后面才给出定义。也不知道有没有更好一些的中文数理逻辑教材。