盘学网 | 免费精选资源分享

作者简介

郝兆宽：复旦大学 哲学 学院教授。主要研究方向为 数学 哲学、哥德尔 思想 。
杨睿之：复旦大学哲学学院副教授。主要研究方向为数理 逻辑 与数学哲学。
杨跃： 新加坡 国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。

内容简介

数理逻辑是一门非常成熟的学科

相比于其他教材

《数理逻辑：证明及其限度》将逻辑与元数学联系在一起

更多地介绍语义部分和强调语法语义的统一

郝兆宽：复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。

杨睿之：复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。

杨跃：新加坡国立大学数学系教授。主要研究方向为数理逻辑，尤其是递归论、皮亚诺算术模型。

下载地址

• 诚通网盘 提取码：8866
• 迅雷网盘 提取码：6fg8

夸克资源精选合集