8.4 关于数理逻辑文献的评论

    我们常常在附注中提到许多书和论文，在这里作一点一般的评论可能会有某些用处。一本有趣的参考书是最近出版的Handbook of mathematica logic，这本书是许多很有用的文章的汇编，它们是由在当前的各个不同的研究领域中工作的专家撰写的。自然也有它的缺点，这就是当一本书是不同作者的文章的汇集时所不可避免的缺乏统一性。在它所包括的各个领域中，它在两个方面对本书提供了很好的补充：给出了更多的细节和处理了这里所忽略了的一些主题。
    这本书由34位作者写的31章所组成。书的目录给今天数理逻辑的许多领域提供了某种指示。
    A.模型论. A1.一阶逻辑导引. A2模型论的基本原理. A3.超积. A4.模型完全性. A5. 齐性集合. A6.曲线和曲面的无穷小分析. A7.可允许集和无穷长逻辑. A8.范畴逻辑学说。
    B.集论. B1.集论的公理. B2.关于选择公理. B3.组合学. B4.力迫法. B5.可构成性. B6.Martin公理. B7.拓扑学中的协调性结果。
    C.递归论. C1.递归论初步. C2.不可解问题. C3.可判定理论. C4.不可解性的度：结果概述. C5.α-递归论. C6.较高类型的递归. C7.归纳定义介绍. C8.描述集论：射影集。
    D.证明论与构造性数学. D1.不完全性定理. D2.证明论：分割消去的若干应用. D3. Herbrand定理与Gentzen的直接证明概念. D4.与数学实践相联系的有穷类型理论. D5.构造性数学的诸方面. D6.topoi的逻辑. D7.无类型的λ-演算. D8.Peano算术中的数学不完全性。