面向计算机科学的数理逻辑

【文件属性】：

文件名称：面向计算机科学的数理逻辑

文件大小：5.81MB

文件格式：RAR

更新时间：2013-03-23 09:20:20

逻辑 一阶 推演

前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表