本书是Springer《数学研究生教材》第73卷，初版于1974年，30年来一直是美国及世界各国人学数学系采用的研究生代数教本。此书Springer已重印12次，由此证明这是一部经典的研究生教材。全书取材适中，论述清晰，自成体系。本书在一些问题的处理上有其独到之处，如sylow定理的证明、伽罗瓦理论的处理、可分域的扩张，环的结构理论等。书中有大量的练习和精心挑选的例子。

林恩·马古利斯和多里昂·萨根的合作是科学家和作家的合作，这在科学创作中是少有的。本书被视为是他们的合作：即是对传统科学思想的开放性挑战，又是对我们这个时代最重要观念的大胆的、富于争论性的绍介。

《东西数学物语》是集数学历史典故、故事、游戏、趣味图形和计算题为一体的科普著作，从古代中国、西方、印度和日本等国家的数学史文献中精选了300多道经典问题，同时对不同国家的同类问题进行了比较，并尽可能地考证了有关问题，该书是数学教育和数学史研究的珍贵资料，但是，由于作者的历史条件的局限性，原著中也存在有些年代和观点方面的错误，在翻译中纠正了这些错误。 对中国和我国的古典原著能够追溯考察，对西方的问题未能完全做到。尽管如此，还是尽可能地收集了丰富的资料。倘若拙著能成为我国数学教育的新文献，那就是格外庆幸的了。

《黎曼几何(英文版)》是一部经典的《黎曼几何》教材，自1926年出版以来，广受欢迎，于1950,1952.，1960,1964,1993年重印出版，并于1997年再次重印出版且列入《princetonlandmarksinmethamatics》。本书作者简明的介绍了黎曼几何的关键概念，从张量分析开始，包括了黎曼曲率张量，christoffel符号和ricci张量，自此引入了度量的概念，并由此展开了测地线，平行位移，bianchi恒等式的讨论。书中内容还涉及正交标形，子空间的几何，平坦空间的子空间和运动群。模拟计算贯穿于书的始终。目次：张量分析；度量引入；正交标形；子空间的几何；平坦空间的子空间；运动群。

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。 本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。