数学基础（修订版）
汪芳庭
评分 9.6分
本书在介绍数学基础的历史之后，系统讲述现代数学主体的基础-ZFC集论，其中重点详述四种数（自然数、实数、序数和基数）的理论。实数的构造与传统的Dedekind分割和Cantor基本序列等构造方法不同，采用了算术超滤分数构造法。 本书适合高等学校数学类专业本科生或研究生用作教材或教学参考书，也可供哲学和理工科其他专业的师生或研究人员参考。
算术超滤
评分 0.0分
数理逻辑
评分 9.0分
《普通高等学校十一五规划教材•数理逻辑(第2版)》内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等学校十一五规划教材•数理逻辑(第2版)》对Godel第一不完备性定理、Godel-Rosser定理、Tarski定理及形式算术的不可判定性定理等都提供了完整的证明。结合对Church论题与Turing论题的介绍，对这些定理的
数学基础
评分 8.9分
本书概述了数学基础的历史，介绍了现代数学主体的基础——ZFC集论，重点讲述四种数（自然数、实数、序数和基数）的理论．书中采用一种特殊的构造实数的新方法——非Archimedes序域法，它与传统的Dedkind分割和cantor基本序列等方法不同，是一种有益的新的尝试． 本书适合数学系本科生、研究生作为教材，也可供理工科其他专业作为教学参考用书．
评分 9.4分
