登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

模态逻辑公式为见证的互模拟等价判定
出版社：中国科学院
出版年：2009
作者：李明
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

模态逻辑导论
  • 作者：(美)切莱士(Chellas,B.F.)
  • ISBN：7306001647
  • 出版社：中山大学出版社
  • 出版年：1989
...

模态逻辑引论
  • 作者：周礼全
  • 出版社：上海人民出版社
  • 出版年：1986
...

模态逻辑教程
  • 作者：文学锋编著
  • ISBN：9787030682932
  • 出版社：科学出版社
  • 出版年：2021
...

模态逻辑导论 :
  • 作者：周北海著
  • ISBN：730103394X
  • 出版社：北京大学出版社
  • 出版年：1997
...

复合模态词模态逻辑
  • 作者：邓少波
  • 出版年：2014
...

现代逻辑学讲义, 模态逻辑
  • 作者：李小五
  • ISBN：9787306025883
  • 出版社：中山大学出版社
  • 出版年：2005