逆向数学的模态逻辑
摘要
出版物: -
arXiv电子打印 发布日期: 2014年1月 内政部: -
10.48550/arXiv.1401.0648 arXiv: -
arXiv:1401.0648号 书目代码: -
2014年8月Xiv1401.0648M 关键词: -
数学-逻辑; 计算机科学-计算机科学中的逻辑; 03B30(初级)03B45(次级)
电子打印: 数学逻辑档案2015年5月,第54卷,第3-4期,第425-437页