modal logic

【文件属性】：

文件名称：modal logic

文件大小：3.98MB

文件格式：PDF

更新时间：2013-04-18 03:52:28

modal temporal logic model

A very good book for model theory ， computational complexity。