数理逻辑：证明及其限度epub,mobi,azw3,pdf格式kindle电子书下载，作者：郝兆宽

反馈

书名
数理逻辑：证明及其限度
作者郝兆宽杨睿之杨跃
格式PDF
ISBN书号9787309145687
出版年2020-8
出版社复旦大学出版社
页数255
装帧平装
标签哲学数学逻辑教材逻辑学哥德尔数理逻辑郝兆宽

内容简介

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

相比于其他教材

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

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

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

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

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

下载地址

下载数理逻辑：证明及其限度

豆瓣评论

西西弗斯与巨石

没学完也没学懂，但是已经改变我很多了。2023-01-19
哑然鸟

依托，你要是什么都已经会了，这本书可以当个纲要和习题典例检测一下2024-01-14
von

最好的中文数理逻辑教材，没有之一。一本不会让人读出瓶颈，且是跨过瓶颈的教材。2024-01-10

标签推荐

历史(12211) 文学(10937) 小说(9529) 哲学(5419) 中国(5197) 美国(4483) 外国文学(4360) 文化(4221) 科普(4012) 社会学(3892) 日本(3698) 心理学(3458) 政治(2974) 经济(2837) 传记(2686) 随笔(2674) 艺术(2624) 宗教(2601) 社会(2335) 英国(2268) 地理(2155) 科学(2095) 好书，值得一读(2087) 心理(1930) 中国文学(1888) 思维(1873) 经济学(1783) 成长(1716) 管理(1696) 推理(1693) 经典(1675) 法律(1645) 政治学(1618) 商业(1534) 生活(1489) 教育(1421) 教材(1403) 法国(1393) 工具书(1368) 日本文学(1361) 计算机(1345) 金融(1342) 思想史(1276) 女性(1255) 悬疑(1222) 工业技术(1191) 数学(1188) 中国历史(1166) 近代史(1133) 世界史(1099) 散文(1029) 投资(1008) 方法论(985) 科幻(939) 思想(930) 德国(929) 我想读这本书(923) 漫画(902) 海外中国研究(895) 推理小说(886)