论文信息 - On the fundamental conjecture of $GLC$ III. - 字舞流文

On the fundamental conjecture of $GLC$ III.

Gaisi Takeuti | G. Takeuti

[1] G. Gentzen. Die Widerspruchsfreiheit der reinen Zahlentheorie , 1936 .

[2] H. Hornich. Die gegenwärtige Lage in der mathematischen Grundlagenforschung. — Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie , 1939 .

[3] Gerhard Gentzen. Die gegenwärtige Lage in der mathematischen Grundlagenforschung : Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie , 1939 .

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

[5] G. Gentzen,et al. Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen , 1955 .

[6] Takakazu Shimauti. Proof of a special case of the fundamental conjecture of Takeuti's $GLC$ . , 1956 .