General Information书名=1986.11 数理逻辑作者=A.G.汉密尔顿页数=251SS号=10230205出版日期=1986年11月第1版前言目录第一章 非形式的命题演算 1.1命题和联结词 1.2 真值函数和真值表 1.3 运算和代入规则 1.4 范式 1.5 联结词的完全集 1.6 论证和有效性第二章 形式的命题演算 2.1 形式系统L 2.2 L的完备性定理第三章 非形式的谓词演算 3.1 谓词和量词 3.2 一阶语言 3.3 解释 3.4 满足，真第四章 形式的谓词演算 4.1 形式系统K 4.2 等值，代入 4.3 前束范式 4.4 K的完备性定理 4.5 模型第五章 数学系统 5.1 引论 5.2 带等号的一阶系统 5.3 群论 5.4 一阶算术 5.5 形式集合论 5.6 一致性和模型第六章 哥德尔不完全性定理 6.1 引论 6.3 递归函数和递归关系 6.4 哥德尔数 6.5 不完全性的证明第七章 可计算性，不可解性，不可判定性 7.1 算法和可计算性 7.2 图灵机 7.3 字问题 7.4 形式系统的不可判定性附录 可数集和不可数集部分习题的提示和解答参考书目符号表
