数理逻辑
内容简介：
《数理逻辑》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，-4章为基础内容，第5-6章为高阶内容。具体来看，章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、接近性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、接近性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔不接近性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
作者简介：
下载地址：
标签：
文章链接：https://www.dushupai.com/book-content-47269.html(转载时请注明本文出处及文章链接)
读书评论：
更多
-
豆友20392670904-11很不错，相比复旦那本在形式上要严谨，教材VS讲义
-
加我QQ02-22在简中著本里算简单清晰的，至少符号统一（？）。然而我还是没撑过一百页，令人感叹。
-
Ashen02-07有更多的例子和习题答案就更好了
猜你喜欢：
-
2024-07-135 -
2024-07-1317 -
2024-07-137 -
2024-07-136 -
2024-07-139 -
2024-07-139 -
2024-07-1311 -
2024-07-137