Complete Cut-Elimination Theorem forΩ-Rule
Complete Cut-Elimination Theorem forΩ-Rule
复制标题
Ω 规则的完整割消除定理
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
Ryota Akiyoshi and Grigori Mints
中科院分区：
文献类型：
--
作者：
Sugiura;K;Nakanishi;H;鈴木雅子・境一三;Ryota Akiyoshi and Grigori Mints
具有 $omega$ -规则*的二阶算术定理*)
DOI：
--
发表时间：
2009
期刊：
--
影响因子：
--
作者：
Moto;M. Takahashi
通讯作者：
M. Takahashi
经典分析子系统的一致性证明
DOI：
--
发表时间：
1967
期刊：
影响因子：
--
作者：
G. Takeuti
通讯作者：
G. Takeuti
序数图 II.
DOI：
10.2969/jmsj/01240385
发表时间：
1960
期刊：
影响因子：
--
作者：
G. Takeuti
通讯作者：
G. Takeuti