modal logic 时间:2013-04-18 03:52:28 【文件属性】: 文件名称:modal logic 文件大小:3.98MB 文件格式:PDF 更新时间:2013-04-18 03:52:28 modal temporal logic model A very good book for model theory , computational complexity。 立即下载