返回首页 联系帮助
逻辑 从三段论到不完全性定理
熊明著
下载此书RAR压缩包在线购买PDF电子书
2016 年出版0 页
哥德尔不完全性定理
（美）雷蒙德 M.斯穆里安著 余俊伟译
2019 年出版164 页ISBN：9787030596345
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理，包括纯抽象的不完全性定理，使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理，哥德尔当初...
朱水林编著
1997 年出版212 页ISBN：7538201793
2016 年出版167 页ISBN：7030477026
