汪芳庭编著2010 年出版205 页ISBN：9787312027086
本书内容分两部分：第一部分属数理逻辑基础，包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
汪芳庭编著2018 年出版283 页ISBN：9787040502428
本书在介绍数学基础的历史之后，系统讲述现代数学主体的基础-----ZFC集论，其中重点详述四种数（自然数、实数、序数和基数）的理论。实数的构造与传统的Dedekind分割和Cantor基本序列等构造方法不同，采用了算术超滤...
