文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
T. Arai
发表
An Introduction To Finitary Analyses Of Proof Figures
John K. Truss, S. Barry Cooper, T. Arai, 1999 .
Epsilon substitution method for ID_1 (II^0_1 ∨ Σ^0_1)
T. Arai, 2003 .