General Information书名=1993.12 研究生教材 数理逻辑作者=王兵山 张强 李舟军页数=243SS号=10201401出版日期=1993年12月第1版前言目录第一章 形式系统第二章 命题逻辑 21 命题逻辑形式系统 22 的定理和导出规则 23 的语义、协调性 24 的完全性 25 的独立性 26 命题联结词 27 的紧致性 28 消解第三章 一阶逻辑 31 一阶逻辑形式系统 32 的定理和导出规则 33 代入定理 34 前束范式 35 的语义 36 独立性 37 协调性和完全性第四章 等词 41 等词系统 42 等词模型第五章 证明与反驳 51 自然演绎 52 Skolem标准型 53 Herbrand定理 54 抽象协调性 55 Gentzen定理 56 语义树 57 反驳 58 合一化习题参考文献
