Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach. Semantically, they use possible world models; the formal proof machinery is tableaus; and full philosophical discussions are provided of the way that technical developments bear on well-known philosophical problems. The book covers quantification itself, including the difference between actualist and possibilist quantifiers; equality, leading to a treatment of Frege's morning star/evening star puzzle; the notion of existence and the logical problems surrounding it; non-rigid constants and function symbols; predicate abstraction, which abstracts a predicate from a formula, in effect providing a scoping function for constants and function symbols, leading to a clarification of ambiguous readings at the heart of several philosophical problems; the distinction between nonexistence and nondesignation; and definite descriptions, borrowing from both Fregean and Russellian paradigms.

《交换代数(英文影印版)》主要内容：It has seemed to me for a long time that commutative algebra is best practiced with knowledge of the geometric ideas that played a great role in its formation: in short, with a view toward algebraic geometry.Most texts on commutative algebra adhere to the tradition that says a subject should be purified until it references nothing outside itself. There are good reasons for cultivating this style; it leads to generality, elegance, and brevity, three cardinal virtues. But it seems' to me unnecessary and undesirable to banish, on these grounds, the motivating and fructifying ideas on which the discipline is based.

简单而言，作者在本书中的学术野心可以概括为力图建立一个超越三大流派传统的后现代性数学哲学范式。后现代性对元叙事的怀疑解构了“现代性”，作者以为这种解构的过程同样可以见于数学哲学领域。现代性对数学哲学的形成及演变产生了巨大的影响，现代性数学的思想特点是以绝对主义思想为标志的形而上学数学本体论和真理论。但随着非欧几何及非交换性代数的发展，形而上学本体论和真理论对于现实的解释力已经被稀释，在这种情况下需要一个新的解释范式，即后现代性数学，其基本立足点是反形而上学、反先验论及反实在论，而作者认为探求这种超越现代性（后现代性）的数学哲学是对人的认识主体性和理性主义的新的启迪。

本书讨论哥德尔纲领的历史背景、对数学和哲学的影响以及数学家们为实现这一纲领的重要工作。 哥德尔纲领可以看作是为解决连续统问题而提出的一种研究方略。当数学家们知道了连续统假设的独立性之后，关于这个集合论命题的哲学地位就产生了争论。一派认为独立性就是对这个问题的优选解决，连续统假设既不是真的也不是假的，这就是很后的答案，因此，这个方向的工作已经完成。而哥德尔则认为独立性不是问题的解决，我们需要加强现有的公理系统以确定连续统假设的真值。这个方向上的工作才刚刚开始，其核心就是寻找集合论的新公理。在此之后，特别是20世纪80年代以来，集合论学家在这个方向上取得了一系列重要的成就。2010年之后，整个图景逐渐清晰起来。粗略地说，连续统问题的解决取决于我们是否能够构造一个包含超紧基数的类似于L的内模型。如果这种构造能够成功，那就在某种意义上出现了一个优选的模等。

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

《近世计算理论导引:NP难度问题的背景、前景及其求解算法研究》对迄今为止的历史上的有关计算理论了的实质性成果作了深刻、严格而又直观的论述。为计算机科学的实质性难题NP难度问题的实现求解提出了一条现实的高效的求解途径。《近世计算理论导引:NP难度问题的背景、前景及其求解算法研究》的不同部分的不同组合可作为大学生、硕士生、博士生的教材，也可供有关的科技人员参考。

《算术教程(英文版)》讲述了：The first one is purely algebraic. Its objective is the classification ofquadratic forms over the field of rational numbers （Hasse-Minkowskitheorem）. It is achieved in Chapter IV. The first three chapters contain somepreliminaries: quadratic reciprocity law, p-adic fields, Hilbert symbols.Chapter V applies the preceding results to integral quadratic forms indiscriminant + 1. These forms occur in various questions: modular functions,differential topology, finite groups. The second part （Chapters VI and VII） uses "analytic" methods （holomor-phic functions）. Chapter VI gives the proof of the "theorem on arithmeticprogressions" due to Dirichlet; this theorem is used at a critical point in thefirst part （Chapter 111, no. 2.2）. Chapter VII deals with modular forms,and in particular, with theta functions. Some of the quadratic forms ofChapter V reappear here.

《代数基本定理》对数学中最重要的定理——代数基本定理给出了六种证明，方法涉及到分析、代数与拓扑等数学分支。《代数基本定理》的六个证明：两个分析方法中一个（本质上）是运用实分析中的两维极值定理，一个是运用标准的复分析方法，也就是经典的Liouville定理；两个代数方法中一个是运用多项式环的知识，一个是运用域扩张的Galois定理：两个拓扑方法中一个是运用分枝数的计算，另一个是运用单位球的基本群。此外附录中给出了Gauss的证明，cauchy的证明，三个另外的反分析证明以及两个另外的拓扑证明。
《代数基本定理》以一个问题为主线，纵横数学的几乎所有领域，结构严谨、文笔流畅、浅显易懂、引人入胜，是一本少见的能让读者入迷的好读物，可以使读者与作者在书中很好地进行对话与交流。通过学习《代数基本定理》，读者可以增加知识面，加深对学科交叉与渗透的理解和认识。不足之处是各种方法之间缺乏进行比较的描写和分析。
《代数基本定理》适合高年级大学生、研究生自学和讨论，特别适合于用作短学期教材或数学选修类课程教材。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

范畴论是近十年来兴起的计算机科学前沿研究打向之一，前景广阔．本
书作者对这一领域做了很多研究工作．80年末,在美国期间收集了最新的有
关资料．在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的
最新情况．
书中首先介绍代数规范的基本知识和一些泛代数的知识，然后系统地介
绍了范畴论的主要内容：范畴、函子、自然变换、积与和、极限和余极限、伴随、
笛卡儿封闭的范畴和素描等，并通过很多例子．介绍了范畴论在程序设计语
言的语义、λ演算、论域理论、演绎系统和形式规范等方面的应用．各章节岳
面附有习题．
本书可作为计算机专业的高年级本科生、研究生的教材．亦可供从事计
算机科学研究和开发的科技人员参考．

《范畴论》作者在书中使用的是现代范畴论通用的概念和术语，但是在对一些基本概念和理论的处理过程中，作者尝试使用比较简洁直接的方法，避免烦琐的论述。《范畴论》的前3章是范畴论的基础内容，适合高年级本科生和研究生的教学以及科研人员对范畴论基础知识的需要，第4章可供从事代数拓扑学尤其是同调代数研究的研究生和科研人员学习和参考，第5章既可以为从事代数几何的科研人员参考，同时也可为希望进一步学习Topos理论的读者提供层论方面的预备知识。

《现代语言符号学》是一部用现代符号学的思想观点来研究语言的专著。语言符号学是一门新兴的边缘交叉学科，致力于深度融合符号学与语言学，兼顾基础性研究和应用性研究。本书对了解符号学的来龙去脉也很有帮助，会给我国学者带来不少启示和灵感，让研究者们在纷繁的意义系统中，抓规律、找趋势、选择最佳可能性，并结合汉语符号和中国文化的特点为符号学研究注入新鲜血液。

《数学工作者必知的范畴学(第2版)》内容简介：This second edition of "Categories Work" adds two new chapters on topics of active interest. One is on symmetric monoidal categories and braided monoidal categories and the coherence theorems for them——items of interest in their own right and also in view of their use in string theory in quantum field theory. The second new chapter describes 2-categories and the higher-dimensional categories that have recently come into prominence. In addition, the bibliography has been expanded to cover some of the many other recent advances concerning categories.

《康托的无穷的数学和哲学》既不是一部传记，也不是某一思想的历史，……而是试图记录一个不平凡的智力活动的主脉，并在某种程度上作出一些心理动力学的分析，以此表明一个新理论如何产生，为什么会产生，它所面临的问题，以及最终为什么会演变成为科学理论体系的一部分。
超穷集合论的创立最终使数学家依据对于数学性质的一般观点，以及对于无穷的特殊见解分裂成为敌对的阵营。多少年里，康托的名字就意味着论战和对立。

二十世纪是物理学的世纪，物理学在二十世纪取得了突破性的进展，改变了世界和人们对世界的认识。《20世纪物理学（第2卷）》就是由英国物理学会、美国物理学会组织发起的，由各个领域的知名学者（有很多是相关领域的奠基者、诺贝尔奖获得者）执笔的。系统总结二十世纪物理学进展的宏篇巨著，其内容涉及了物理学各个分支学科和相关的应用领域。全书共分三卷27节，书末还附有三位物理学大家对二十世纪物理学的综合思考和对新世纪物理学的展望。