算术、真与悖论 《算术、真与悖论》,作者:熊明 著 出版社:科学出版社 ISBN:9787030519627。形式真理论是用数理逻辑的方法研究真与悖论问题的理论，本书分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果，包括哥德尔对角线引理和塔斯基不可定义性定理，第二编介绍从20世纪30年代末直到近期，逻辑学家围绕真与悖论问题建立的主要 壹号书单 2017年03月01日 0 点赞 0 评论 11 浏览
