论文信息 - Consistency Proofs of Subsystems of Classical Analysis - 字舞流文

Consistency Proofs of Subsystems of Classical Analysis

Gaisi Takeuti | G. Takeuti

[1] Gaisi Takeuti,et al. On a generalized logic calculus , 1953 .

[2] Akiko Kino,et al. On ordinal diagrams , 1961 .

[3] Gaisi Takeuti,et al. On the fundamental conjecture of $GLC$ III. , 1955 .