书籍介绍
数理逻辑是一门非常成熟的学科
相比于其他教材
本书将逻辑与元数学联系在一起
更多地介绍语义部分和强调语法语义的统一
郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
目录
用户评论
数理逻辑研究推理的过程，而不关心内容，定义了自己的一套形式化语言来描述命题、推理。快速看了前六章，算是数理逻辑入门了。
读完前两章可以去看一看冯琦的《数理逻辑导引》第一章，有非常大的差距。证明留作习题，证明引用习题结论，例题少几乎没有，习题又没有答案。很多多余的话，例如“熟悉数学的同学会知道”，花大量篇幅去分辨逻辑和元逻辑。
都不配标读过…虽然倾注心力，但依然学得很烂。有机会的话大四重学。
对推动概念发展的动力解释清晰，适合具备一定数理逻辑基础的初阶数理逻辑学习者.
反正爆杀南大那本。
专业课（唯一的外哲训练！）之数理逻辑
好书。有空把习题做了。
看到就想吐 就不打分了