Published: 1955 Received: February 24, 1954Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) G. Gentzen: Untersuchungeng über das logische Schliessen, I, II, Math. Z. 39 (1935),. 176-210, 405-431. 2) G. Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Ann. 112 (1936), 493-565. 3) G. Gentzen: Die gegenwartige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Leipzig, 1938. 4) G. Takeuti: On a generalized logic calculus. (Jap. J. Math, 23 (1953), 39-96); Erata to 'On a Generalized Logic Calculus' (Jap. J. Math. 24 (1954), 149-156)
Right : [1] G. Gentzen: Untersuchungen über das logische Schliessen, I, II, Math. Z. 39 (1935), 176-210, 405-431. [2] G. Gentzen: Die Widerspruchsfreiheit der reinen Zahlentheorie, Math. Ann. 112 (1936), 493-565. [3] G. Gentzen: Die gegenwärtige Lage in der mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Leipzig, 1938. [4] G. Takeuti: On a generalized logic calculus. (Jap. J. Math. 23 (1953), 39-96); Erata to ‘On a Generalized Logic Calculus’ (Jap. J. Math. 24 (1954), 149-156)
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -