Gentzen's First Consistency Proof Revisited
Gentzen's First Consistency Proof Revisited
复制标题
重新审视 Gentzen 的第一个一致性证明
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Ryota Akiyoshi
中科院分区：
文献类型：
--
作者：
Nakanishi;H;Yokokawa;H;Ryota Akiyoshi
登录
查看更多内容
由超限递归定义的泛函
影响因子：
0.6
作者：
W. Tait
通讯作者：
W. Tait
DOI：
--
发表时间：
1936
期刊：
影响因子：
--
作者：
G. Gentzen
通讯作者：
G. Gentzen
反射原理及其在建立公理系统复杂性中的用途
DOI：
--
发表时间：
1968
期刊：
影响因子：
--
作者：
G. Kreisel;A. Levy
通讯作者：
A. Levy
分别具有可证明 Δ 2 1 -推导式公理和 Δ 2 1 -推导式公理的二阶算术系统的序数
DOI：
10.4099/jjm1924.41.0_1
发表时间：
1973
期刊：
Japanese journal of mathematics :transactions and abstracts
影响因子：
--
作者：
G. Takeuti;M. Yasugi
通讯作者：
M. Yasugi
影响因子：
0.6
作者：
R. Peter
通讯作者：
R. Peter