算术、真与悖论 《算术、真与悖论》,作者:熊明 著 出版社:科学出版社 ISBN:9787030519627。形式真理论是用数理逻辑的方法研究真与悖论问题的理论，本书分三个部分对这一领域的基本成果与最新进展进行系统的介绍。第一编阐述形式真理论在20世纪30年代的主要成果，包括哥德尔对角线引理和塔斯基不可定义性定理，第二编介绍从20世纪30年代末直到近期，逻辑学家围绕真与悖论问题建立的主要 壹号书单 2017年03月01日 0 点赞 0 评论 11 浏览
算术代数 | Algorithmic algebra影印版 《算术代数 | Algorithmic algebra影印版》,作者:著者Bhubaneswar Mishra 出版社:科学出版社 ISBN:7030089073。本书是中国科学院推荐的研究生原版教材之一，是近年来出版的计算机代数方面的权威著作．书中全面介绍了近20年来该领域的主要成果，包括Gr#bner基、Wu-Ritt特征基、系统式法、实代数几何等。这些成果是计算机与代数几何交叉研究所产生 壹号书单 2001年02月01日 0 点赞 0 评论 58 浏览
