数理逻辑:证明及其限度
内容简介:
数理逻辑是一门非常成熟的学科
相比于其他教材
《数理逻辑:证明及其限度》将逻辑与元数学联系在一起
更多地介绍语义部分和强调语法语义的统一
郝兆宽:复旦大学哲学学院教授。主要研究方向为数学哲学、哥德尔思想。
杨睿之:复旦大学哲学学院副教授。主要研究方向为数理逻辑与数学哲学。
杨跃:新加坡国立大学数学系教授。主要研究方向为数理逻辑,尤其是递归论、皮亚诺算术模型。
作者简介:
下载地址:
标签:
文章链接:https://www.dalanmei.com/book-content-31860.html(转载时请注明本文出处及文章链接)
- 上一篇: 用 Python 写网络爬虫(第2版)
- 下一篇: 工程哲学与社会工程
猜你喜欢:
-
2022-01-29155
-
2022-01-29131
-
2022-01-29100
-
2022-01-29182
-
2022-02-10271
-
2022-02-10137
-
2022-02-101279
-
2022-02-10205