返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书介绍了哥德尔不完全性定理的各种证明及相关的塔斯基定理,包括纯抽象的不完全性定理,使用真概念的基于加、乘及幂运算的算术公理化的哥德尔不完全性定理及仅基于加与乘运算的哥德尔不完全性定理,哥德尔当初...