JournalsprimsVol. 16, No. 1pp. 1–33

Gentzen Reduction Revisited

  • Mariko Yasugi

    Shizuoka University, Japan
Gentzen Reduction Revisited cover
Download PDF

Cite this article

Mariko Yasugi, Gentzen Reduction Revisited. Publ. Res. Inst. Math. Sci. 16 (1980), no. 1, pp. 1–33

DOI 10.2977/PRIMS/1195187498