文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
Bezhanishvili Guram
发表
An algebraic approach to intuitionistic modal logics over MIPC(MIPCを含む直観主義様相論理に対する代数的方法)
Bezhanishvili Guram, 1998 .