返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书内容分为三个部分:算术、真和悖论。第一部分“算术”部分主要阐述形式真理论在二十世纪三十年代的成果,包括了哥德尔不完全性定理中与真理论密切相关的技术思想和方法,重点阐述了塔斯基不可定义性定理及其...
共7章。讲述比及比例的原理及其应用。