趣题大师的逻辑训练

为纪念2010年5月22日离世的数学科普大师马丁·加德纳，将原“加德纳趣味数学系列”丛书精选后重新包装出版。

流形的热核和热核形式

本书介绍了Riemann流形和Kahler流形的基本知识、Riemann流形上热半群的一些性质、某些典型群和对称空间的热核等。

测试你的逻辑推理能力

相似数学逻辑

本书主要介绍相似数学逻辑，主要内容包括数学概念，数学命题，数学推理，数学证明，逻辑基础等。本书可作为从事数学专业学习与工作的有关人员的数学认识论的入门参考书，也可作为从事其它专业工作的数学业余爱好者的.....

数理逻辑的思想与方法

本书主要介绍了集合、集合运算的基本思想和方法、命题逻辑的思想和方法、一阶谓词逻辑的思想和方法等内容。

缺省逻辑的扩充

本书首先从形式上较为简单的有限的无前提正规闭缺省理论入手，系统的研究了有限的无前提正规闭缺省理论的相容扩充，对相容扩充进行了分类；同时，对缺省规则固定时，缺省理论可能有的不同相容扩张的个数进行了估计。...

数学家的逻辑

本书是数理逻辑的基础读物，对递归论、公理集合论、模型论、证明论与逻辑演算五部分的基本内容、方法作了实质性的介绍。

数理逻辑 第2版 英文版

本书是数理逻辑课程的教材。

数理逻辑与集论 新数入门概念

自守形式与L-函数 英文版