模态逻辑 数理逻辑

【文件属性】：

文件名称：模态逻辑 数理逻辑

文件大小：14.84MB

文件格式：PDF

更新时间：2015-01-10 09:11:49

模态逻辑介绍 经典的模态逻辑书 计算机科学

一本详细的关于模态逻辑的书 一本经典的研究计算机科学中的数理逻辑的必读物