数理逻辑导引
读书评论：
-
abc06-13邢滔滔老师的数理逻辑过于干练，徐明老师的符号逻辑讲义有点“啰嗦”（自己也有这个感觉，但“啰嗦”也未必不好），但这本书我认为是很适合入门数理逻辑的，尤其是当专业教材是open logic text 时，才会知道这本书书真好，我给满分
-
Syb06-18烂到爆，从命题开始讲，缺一大堆定义不给，无语
-
沙之火09-19自学了四分之一到三分之一，需要花费相当多的时间。总体上也可以，但可能因为是讲稿编出来的，内容安排上不够好。例如，前面直接用的概念，到后面才给出定义。也不知道有没有更好一些的中文数理逻辑教材。
-
DestinHistoire06-28数学系教材，数理逻辑+大量的模型论初步与代数例子。写得并不好，许多名词译法与通行不同，难度层次与详略的划分只能说相当差。22.4.7：重读才体会到冯琦老师将实闭域的可判定性这样晚至50年代的结果放在前面大量展开是为了遵循一种先处理可完备化的常规数学理论，最后与算术形成极大对比的路径，正如Tarski1930年初认为的那样”一切常见的丰富系统即使不是完全的，也都是可完全的“。加一星。
-
砯02-28读了前面的部分，比起哲学教材总是出现让人迷惑的直观，还是好太多。不过可读性差。
-
马蹄北去06-07非常详尽，可以说基本解决哥德尔不完全定理之前的全部问题，后面代数模型论的部分也很好，并且为形式系统的扩张和完备性提供了清晰生动的例子。内容部分除了常见的定义、定理和范例之外，还增加了“问题”，解释了领域内诸核心理论的意义和作用。唯一可惜的是印刷错误不少
-
Livjathan11-14非常精彩，也很全面，不过目前对于我来说还在学习中，啃起来会慢一点。建议读者有一定的高数，数分和符号逻辑基础（徐明老师那本书就挺好，虽然啰嗦但是细致全面），另外，冯琦老师的一阶逻辑课程视频在b站也有，讲的比较清楚且不是很艰涩，可以找来看看。