数理逻辑十二讲

作者：宋方敏，吴骏编著
出版社：北京：机械工业出版社
出版年份：2018
ISBN：9787111581222
注意：在使用云解压之前，请认真核对实际PDF页数与内容!

在线云解压
价格(点数)
购买连接
说明

转为PDF格式
8
立即购买
（在线云解压服务）

云解压服务说明

1、本站所有的云解压默认都是转为PDF格式，该格式图书只能阅读和打印，不能再次编辑。

云解压下载及付费说明

1、所有的电子图书云解压均转换为PDF格式，支持电脑、手机、平板等各类电子设备阅读；可以任意拷贝文件到不同的阅读设备里进行阅读。

2、云解压在提交订单后一般半小时内处理完成,最晚48小时内处理完成。(非工作日购买会延迟)

第一讲命题逻辑 1

第二讲 Boole代数 19

第三讲一阶逻辑的语言 29

第四讲一阶逻辑的自然推理系统 50

第五讲集合论的公理系统 61

第六讲完全性定理 66

第七讲 Herbrand定理 76

第八讲命题逻辑的永真推理系统 86

第九讲一阶逻辑的永真推理系统 100

第十讲 Gentzen的Hauptsatz 106

第十一讲紧性定理 121

第十二讲模态逻辑概述 135

参考文献 156