本书牛顿（Newton，1642 1727）用拉丁语写成，于1687年、1718年、1726年出版了三个版本。莫特（Andrew Motte，1696 1734）于1729年翻译出版了本书的英文版，卡加里（Florian Cajori，1859 1930）对莫特的英译本进行了修订，1934年由加利福尼亚大学出版社出版，本次影印的是1946年的第2印次本。
集合论的主要概念（基数、序数、超限归纳）对于所有数学家都是最基础的，并非于研究数理逻辑或集合论拓扑的专家。通常分析、代数或拓扑学的课程只会给出基础集合论的一个概貌，然而事实上它足够重要、有趣和简单，值得慢慢地学习品味。 《集合论基础》使得读者能够以悠闲品味的方式学习集合论的内容，它适用于广大范围的各类读者，从本科生直至那些想要最终掌握超限归纳并且理解它为何总被Zorn引理替代的数学家。 《集合论基础》介绍了“朴素”（非公理化）集合论的所有主要内容：函数、基数、有序集和良序集、超限归纳及其应用、序数、序数上的运算。《集合论基础》还包括对Cantor-Bernstein定理、Cantor的对角构造、Zorn引理、Zermelo定理和Hamel基的讨论和证明。此外，书中还给出了150多道问题，循序渐进地揭示了集合论基本思想和方法，内
《数学机械化（中文版）》是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。《数学机械化（中文版）》试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。 全书分成三个部分：部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，《数学机械化（中文版）》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。 《数学机械化（中文版）》可供数学工作者，数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。
《古今数学思想》(第2册)论述了从古代一直到20世纪头几十年中的重大数学创造和发展，目的是介绍中心思想，特别着重于那些在数学历史的主要时期中逐渐冒出来并成为最突出的、并且对于促进和形成尔后的数学活动有影响的主流工作。本书所极度关心的还有：对数学本身的看法，不同时期中这种看法的改变，以及数学家对于他们自己的成就的理解。 《古今数学思想》(第2册)的一些篇章只提出所涉及的领域中已经创造出来的数学的一些样本，可是我坚信这些样本有代表性，再者，为着把注意力始终集中于主要的思想，我引用定理或结果时，常常略去严格准确性所需要的次要条件。本书当然有它的局限性，作者相信它已给出整个历史的一种概貌。
哥德巴赫猜想、孪生素数、素数分布、华林问题，除数问题、圆内整点问题、整数分拆及黎曼猜想等数论问题吸引了古今无数的数学爱好者。《解析数论基础》全面详细地讨论了迄今为止研究这些问题的重要的分析方法、理论和结果，介绍了它们的历史及新进展，是研究这些问题必不可少的入门书。
线性和非线性代数方程组求解是众多科学与工程计算领域的基础共性任务，也是整体数值模拟的关键。本书系统而深入地介绍了迭代方法、预处理技术及其并行计算。迭代法涉及分裂方法、并行多分裂方法、Krylov子空间方法、并行Krylov子空间方法、Newton法及其变形；预处理技术涉及一般代数预处理、问题相关预处理、多层和多重网格预处理以及非线性预处理；为了方便实施，介绍了方法在诸多方面的应用，并用统一框架介绍了网上可得解法器和预处理软件包。
