JournalsprimsVol. 16 , No. 1DOI 10.2977/prims/1195187498

Gentzen Reduction Revisited

  • Mariko Yasugi

    Shizuoka University, Japan
Gentzen Reduction Revisited cover