Published: 1952 Received: April 23, 1952Available 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. Untersuchungen über das logische Schliessen I, II. Math. Zeitschr., 39 (1934).
Right : [1] G. Gentzen. Untersuchungen über das logische Schliessen I, II. Math. Zeitschr., 39 (1934).
Date of correction: August 29, 2006Reason for correction: -Correction: PDF FILEDetails: -