盘天下 | 免费精选资源分享

作者简介

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

内容简介

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

相比于其他教材

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

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

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

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

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

下载地址

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

【新用户手机夸克APP转存可以获得1TB免费空间】

夸克网盘「电影」精选合集：https://pan.quark.cn/s/0755e002f4b6

夸克网盘「纪录片」精选合集：https://pan.quark.cn/s/8c76cd47e8be

夸克网盘「音乐」精选合集：https://pan.quark.cn/s/c999e39a7f49

夸克网盘「教程」精选合集：https://pan.quark.cn/s/27984fcacdad

夸克网盘「书籍」精选合集：https://pan.quark.cn/s/2532536273dd