文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
赤間 世紀
发表
Constructive falsity : foundations and their applications to computer science
赤間 世紀, 1990 .
Intensional Contexts and Common Knowledge
大西 泰斗, 赤間 世紀, 1993 .