数学家的逻辑（英）A·G·哈密尔顿著；骆如枫等译，1989.pdf

前言 目录 目录 第1章 非形式语句演算 1.1 语句和连接词 1.2 真值函数和真值表 1.3 运算规则和代入规则 1.4 范式 1.5 连接词的充足集 1.6 论证和有效性 第2章 形式语句演算 2.1 形式系统L 2.2 L的完备性定理 第3章 非形式谓词演算 3.1 谓词和量词 3.2 一阶语言 3.3 解释 3.4 可满足性，真 第4章 形式谓词演算 4.1 形式系统K？ 4.2 等值，代入 4.3 前束范式 4.4 K的完备性定理 4.5 模型 第5章 数学系统 5.1 引言 5.2 有等词的一阶系统 5.3 群论 5.4 一阶算术 5.5 形式集论 5.6 相容性和模型 第6章 G？del不完全性定理 6.1 引言 6.2 可表达性 6.3 递归函数和递归关系 6.4 G？del数 6.5 不完全性定理的证明 第7章 可计算性，不可解性，不可判定性 7.1 算法和可计算性 7.2 Turing机 7.3 字问题 7.4 形式系统的不可判定性 附录 可数集和不可数集 部分习题的提示和解答 参考书和进一步读物 符号汇编 英中名词对照表 中英名词对照表