内容简介
数理逻辑是一门非常成熟的学科
相比于其他教材
《数理逻辑：证明及其限度》将逻辑与元数学联系在一起
更多地介绍语义部分和强调语法语义的统一
郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
数理逻辑是一门非常成熟的学科
相比于其他教材
《数理逻辑：证明及其限度》将逻辑与元数学联系在一起
更多地介绍语义部分和强调语法语义的统一
郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。
