目录1 Modelling things with graphs.- 2 Talking about graphs.- 3 The basics of the tableaux method.- 4 Logics with simple constraints on models.- 5 Logics with potential cycles.- 6 Model Checking.- 7 Logics with transitive closure.- 8 Other non-classical logics. | 
内容加载中，请稍后...
商品评论（0条）