哥德尔不完全性定理朱水林著辽宁教育出版社1988年2月版12万字对哥德尔定理的背景、内容、证明和意义等作系统的介绍。哥德尔不完全性定理对逻辑学、数学、哲学和人工智能都具有深刻的影响。踏和塔斯基的形式语...
