General Information书名=1986.11 数理逻辑作者=A.G.汉密尔顿著页数=253SS号=11831100出版日期=1986.11前言目录第一章 非形式的命题演算 11 命题和联结词 12 真值函数和真值表 13 运算和代入规则 14 范式 15 联结词的完全集 16 论证和有效性第二章 形式的命题演算 21 形式系统L 22 L的完备性定理第三章 非形式的谓词演算 31 谓词和量词 32 一阶语言 33 解释 34 满足，真 第四章 形式的谓词演算 41 形式系统K？ 42 等值，代入 43 前束范式 44 K的完备性定理 45 模型第五章 数学系统 51 引论 52 带等号的一阶系统 53 群论 54 一阶算术 55 形式集合论 56 一致性和模型第六章 哥德尔不完全性定理 61 引论 62 可表达性 63 递归函数和递归关系 64 哥德尔数 65 不完全性的证明第七章 可计算性，不可解性，不可判定性71 算法和可计算性72 图灵机73 字问题 74 形式系统的不可判定性附录 可数集和不可数集 部分习题的提示和解答 参考书目 符号表
