Gentzen Reduction Revisited
Mariko Yasugi
Shizuoka University, Japan
Cite this article
Mariko Yasugi, Gentzen Reduction Revisited. Publ. Res. Inst. Math. Sci. 16 (1980), no. 1, pp. 1–33
DOI 10.2977/PRIMS/1195187498Mariko Yasugi, Gentzen Reduction Revisited. Publ. Res. Inst. Math. Sci. 16 (1980), no. 1, pp. 1–33
DOI 10.2977/PRIMS/1195187498