1、General Information书名=1989.11 面向计算机科学的数理逻辑作者=陆钟万页数=240SS号=10441898出版日期=1989年11月第1版目录目录 1预备知识 1.1集 1.2归纳定义和归纳证明 1.3记号 2命题逻辑 2.1命题和联结词 2.2命题语言 2.3命题语言（续） 2.4语义 2.5重言推论 2.6形式可推演性 2.7析取范式和合取范式 2.8联结符的完备集 3一阶逻辑 3.1命题函数和量词 3.2一阶语言 3.3语义 3.4逻辑推论 3.5形式可推演性 3.6前束范式 4形式可推演性：另一种类型 4.1另一种类型的形式可推演性 4.2两种类型的关系 5可
2、靠性和完备性 5.1可满足性和有效性 5.2可靠性 5.3命题逻辑的完备性 5.4一阶逻辑的完备性 5.5含等符的一阶逻辑的完备性 5.6独立性 6可靠性和完备性的应用 6.1紧致性 6.2L？wenheim-Skolem定理 6.3Herbrand定理 6.4模型论的若干基本概念 7构造性逻辑 7.1构造性推理的逻辑 7.2语义 7.3形式可推演性 7.4可靠性 7.5完备性 8模态命题逻辑 8.1模态命题语言 8.2语义 8.3形式可推演性 8.4可靠性 8.5T的完备性 8.6S4，B，S5的完备性 9模态一阶逻辑 9.1模态一阶语言 9.2语义 9.3形式可推演性 9.4可靠性 9.5完备性 9.6等符 附录 （自然推演中形式证明的简单形式） 参考文献 符号表 名词术语表（汉英对照）
