Published: 1955 Received: May 15, 1955Available on J-STAGE: August 29, 2006Accepted: -
Advance online publication: -
Revised: -
Correction information
Date of correction: August 29, 2006Reason for correction: -Correction: AUTHORDetails: Wrong : Shoji MAEHARA Right : Shôji MAEHARA
Date of correction: August 29, 2006Reason for correction: -Correction: CITATIONDetails: Wrong : 1) G. Gentzen, Untersuchungen über das logische Schliessen. Math. Zeitschr., 39, 176-210, 405-431 (1935). 2) D. Hilbert, Die logischen Grundlagen der Mathematik. Math. Ann., 88, 151-165 (1923). 3) D. Hilbert and W. Ackermann, Grundzüge der theoretischen Logik. Berlin (1928). 4) S. Maehara, Gentzen's theorem on an extended predicate calculus. Proc. Jap. Acad., 30, 923-926 (1954).
Right : [1] G. Gentzen, Untersuchungen über das logische Schliessen. Math. Zeitschr., 39, 176-210, 405-431 (1935). [2] D. Hilbert, Die logischen Grundlagen der Mathematik. Math. Ann., 88, 151-165 (1923). [3] D. Hilbert and W. Ackermann, Grundzüge der theoretischen Logik. Berlin (1928). [4] S. Maehara, Gentzen's theorem on an extended predicate calculus. Proc. Jap. Acad., 30, 923-926 (1954).
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -