豆瓣
扫码直接下载
过于难懂了一些。
可以。“本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。”
入门必备
> 逻辑——从三段论到不完全性定理
0 有用 两勺卡士双皮奶 2022-01-15 18:49:29
过于难懂了一些。
0 有用 这么近，那么远 2019-01-05 20:01:27
可以。“本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。”
0 有用 时钟 2022-05-20 00:37:20
入门必备