《微分流形与黎曼几何引论(英文版 第2版修订版)》是一本非常好的微分流形入门书。全书从一些基本的微积分知识入手，然后一点点深入介绍，主要内容有：流形介绍、多变量函数和映射、微分流形和子流形、流形上的向量场、张量和流形上的张量场、流形上的积分法、黎曼流形上的微分法以及曲率。书后有难度适中的习题，全书配有很多精美的插图。
《微分流形与黎曼几何引论(英文版 第2版修订版)》非常适合初学者阅读，可作为数学系、物理系、机械系等理工科高年级本科生和研究生的教材。

《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。

近世代数是代数学一个基础学科，讲述代数基本结构的特性，本书除系统介绍群、环和域的基础知识（包括域的有限伽罗瓦扩张理论）之外，还力图强调近世代数中的思想和方法，书中有大量习题，除主线内容之外，还增加一些附录用来开拓和深化所学内容。
本书在中国科学技术大学讲授多年的讲义基础上修改写成，可作为高等学校数学系基础课教材，也可供数学工作者和通信、计算机科学等领域的工程技术人员参考。

本书是一本代数学的经典著作，既介绍了矩阵运算、群、向量空间、线性变换、对称等较为基本的内容，又介绍了环、模、域、伽罗瓦理论等较为高深的内容，对于提高数学理解能力、增强对代数的兴趣是非常有益处的。
本书是一本有深度、有特点的著作，适合数学工作者以及基础数学、应用数学等专业的学生阅读。
本书由著名代数学家与代数几何学家Michael Artin所著，是作者在代数领域数十年的智慧和经验的结晶。书中既介绍了矩阵运算，群，向量空间，线性变换，对称等较为基本的内容，又介绍了环、模、域、伽罗瓦理论等较为高深的内容，本书对于提高数学理解能力、增强对代数的兴趣是非常有益处的。此外，本书的可阅读性强，书中的习题也很有针对性，能让读者很快地掌握分析和思考的方法。
本书在麻省理工学院、普林斯顿大学、哥伦比亚大学等著名学府得到了广泛采用，是代数学的经典教材之一。
目录
译者序
前言
给教师的话
致谢
第一章 矩阵运算
第一节 基本运算
第二节 行约简
第三节 行列式
第四节 置换矩阵
第五节 克拉默法则
练习
第二章 群
第一节 群的定义
第二节 子群
第三节 同构
第四节 同态
第五节 等价关系和划分
第六节 陪集
第七节 限制到子群的同态
第八节 群的积
第九节 模算术
第十节 商群
练习
第三章 向量空间
第一节 实向量空间
第二节 抽象域
第三节 基和维数
第四节 用基计算
第五节 无限维空间
第六节 直和
练习
第四章 线性变换
第一节 维数公式
第二节 线性变换的矩阵
第三节 线性算子和特征向量
第四节 特征多项式
第五节 正交矩阵与旋转
第六节 对角化
第七节 微分方程组
第八节 矩阵指数
练习
第五章 对称
第一节 平面图形的对称
第二节 平面运动群
第三节 有限运动群
第四节 离散运动群
第五节 抽象对称：群作用
第六节 对陪集的作用
第七节 计数公式
第八节 置换表示
第九节 旋转群的有限子群
练习
第六章 群论的进一步讨论
第一节 群在自身的作用
第二节 二十面体群的类方程
第三节 在子集上的作用
第四节 西罗定理
第五节 阶群
第六节 对称群计算
第七节 自由群
第八节 生成元与关系
第九节 托德—考克斯特算法
练习
第七章 双线性型
第一节 双线性型的定义
第二节 对称型：正交性
第三节 正定型相关的几何
第四节 埃尔米特型
第五节 谱定理
第六节 圆锥曲线与二次曲面
第七节 正规算子的谱定理
第八节 斜对称型
第九节 用矩阵记号对结果的小结
练习
第八章 线性群
第九章 群表示
第十章 环
第十一章 因子分解
第十二章 模
第十三章 域
第十四章 伽罗瓦理论
附录　背景材料
记号
进一步阅读建议
索引

《算术研究》是被誉为“数学王子”的德国大数学家高斯的第一部杰作，该书写于1797年，1801年正式出版，这是一部用拉丁文写成的巨著，是数论的最经典及最具权威性的著作。在随后的200年时间中被翻译成多国文字，如德文、英文、俄文等。这部著作在数学中的重要地位不亚于《圣经》在基督教中的地位，只有欧几里得的《几何原本》堪与之相比，因为高斯有一句名言：“数学是科学的女皇，数论是数学的女皇。”这部著作共七篇。
第一篇讨论一般的数的同余：并首次引进了同余记号，这是现代数学中无处不在的等价和分类概念出现在代数中的最早的意义重大的例子。
第二篇讨论一次同余方程：其中严格证明了算术基本定理。
第三篇讨论幂的同余式：此篇详细讨论了高次同余式。
第四篇“二次同余方程”意义非同寻常：因为其中给出了二次互反律的证明，有人统计到21世纪初，二次互反律的证明已经超过200种，其中柯西、雅可比、迪利克雷、艾森斯坦、刘维尔、库默尔、克罗内克、戴德金、瓦莱－布桑、希尔伯特、弗罗贝尼乌斯、斯蒂尔切斯、M•里斯、韦伊都给出了新证法，可见问题之重要。
第五篇是“二次型与二次不定方程”在这一篇中关于二次型的特征的研究，标志着群特征标理论的肇始，使高斯成为群论的先驱者之一。
第六篇把前面的理论应用到各种特殊情形，并引入了超越函数。
第七篇是“分圆方程”，不少人认为此篇是《算术研究》的顶峰。
《算术研究》当时对于数学家也很难读，它曾被称为“七印封严之书”（这是西方人对难解之书喜用的词，近于中国人所谓的“天书”，典出《圣经•启示录》第五章第一节：“我看见坐宝座的右手中有书卷，里外都写着书，用七印封严了”）后来迪利克雷作了详细注释。此书简洁完美的风格多少减慢了它的传播速度，而最终当富有才华的年轻人开始深入研读它时，由于出版商的破产，又买不到它了，甚至高斯最喜欢的学生艾森斯坦从未能拥有一本，有些学生不得不从头到尾抄录全书。

【编辑推荐】
齐斯·德福林，人称MATH GUY、数学界的卡尔·萨根
为读者展现优雅的证明、深思的沃土
令人叹为观止的数学内蕴和动人心魄的跨学科协作
2019年6月第8次印刷暨全书校订 修正了知识性错误和台版译名
.
★全球畅销逾一百万册！认识数学必备案头经典！
★看到这本书，才能体会到应试数学教育对我们的摧残有多深！
★国际毕达哥拉斯奖、卡尔·萨根科普奖得主，致力于大众数学科普的明星作家执笔
★高中的数学知识就够用！随意阅读其中一章，就能引发强烈的好奇心
★“全家都读得津津有味”“精彩的数学史”“公共教育必读书”……亚马逊好评如潮
.
【内容介绍】
是什么让一架巨型喷汽式飞机悬浮在空中？
是什么让美式足球比赛出现在电视荧幕上？
数学让那些看不见的变得可见。
数学是一种模式的科学，是我们看待世界，包括外在的物理、生物与社会世界，和内在心智世界的一种方式。数学的美，隐藏在数字、点、线与面、几何图形、函数等符号中。
从古 典数学（代数）到现代语言分析，从几何学、微积分到拓扑学、统计学及物理学，本书将从各学科层面，提示如何用数学去看见自然里不可见的结构；同时，从数学的发迹讲起，直至今日发展，提供一个清楚而贯通的网络。
.
【相关推荐】
自然这部大书只能被那些通晓其中所写语言的人阅读，这种语言正是数学。
——伽利略（16世纪意大利科学家）
.
数学是一种语言，学数学的目的在于帮助学生，能够以这种语言与自然更精确地对话；数学不是解题技巧，而是观念的推行。
——吉布斯（19世纪美国科学家）
.
了解数学的艺术，它的过往与现今，唯有看《数学的语言》。
——《出版人周刊》
.
《数学的语言》无疑对于各年级的数学教育者来说都是一个很好的资源。最重要的是，这本书可以让高中生和本科低年级学生真正发挥好奇的作用。
——美国数学学会

本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。本书特点是：内容可读性强；组织结构更灵活，授课教师可根据教学需要节选本书的内容；反映了近几年来理论计算机科学对逻辑学产生的影响；包含较多的示例和说明。本书适合作为计算机及相关专业本科生和研究生数理逻辑课程的教材。.
本书是数理逻辑方面的经典教材，以可读性强而著称，在美国大学中采用率极高，麻省理工学院、加州大学伯克利分校、哥伦比亚大学、康奈尔大学等众多名校均用它作为教材。本版章节组织更加灵活，增加了与计算机科学相关的主题(比如有限模型)，还增加了一些示例和阐释文字，更适合本科生和研究生数理逻辑课程使用。.

本书概述了数学基础的历史，介绍了现代数学主体的基础——ZFC集论，重点讲述四种数（自然数、实数、序数和基数）的理论．书中采用一种特殊的构造实数的新方法——非Archimedes序域法，它与传统的Dedkind分割和cantor基本序列等方法不同，是一种有益的新的尝试．
本书适合数学系本科生、研究生作为教材，也可供理工科其他专业作为教学参考用书．