逻辑:从三段论到不完全性定理

《逻辑:从三段论到不完全性定理》以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要成果。《逻辑:从三段论到不完全性定理》力求在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的理论时，注重强调思想性，并力争通俗易懂，深入浅出。

网友对逻辑:从三段论到不完全性定理的评论

喜欢逻辑:从三段论到不完全性定理请与您的朋友分享,由于版权原因，读书人网不提供图书下载服务