前言
绪论
第一章 预备知识
第二章 经典命题逻辑
第三章 经典一阶逻辑
第四章 可靠性和完备性
第五章 公理推演系统
第六章 构造性逻辑
第七章 模态命题逻辑
第八章 模态一阶逻辑
附录 自然推演中形式证明的简明形式
参考文献
符号表
名词表
2021-07-12 10:08:35
5.81MB
1
B站录课资源网址：
https://space.bilibili.com/609703132/channel/detail?cid=142579&ctype=0
2021-06-29 09:04:40
87.89MB
1