点击购买此书全本PDF电子书
第一讲 命题逻辑 1
第二讲 Boole代数 19
第三讲 一阶逻辑的语言 29
第四讲 一阶逻辑的自然推理系统 50
第五讲 集合论的公理系统 61
第六讲 完全性定理 66
第七讲 Herbrand定理 76
第八讲 命题逻辑的永真推理系统 86
第九讲 一阶逻辑的永真推理系统 100
第十讲 Gentzen的Hauptsatz 106
第十一讲 紧性定理 121
第十二讲 模态逻辑概述 135
参考文献 156