Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
Formal Theories for Transfinite Iterations of Generalized Inductive Definitions and Some Subsystems of Analysis
复制标题
广义归纳定义的超限迭代的形式理论和一些分析子系统
DOI：
10.1016/s0049-237x(08)70761-4
复制
发表时间：
1970
期刊：
影响因子：
--
通讯作者：
S. Feferman
中科院分区：
文献类型：
--
作者：
S. Feferman
