Gentzenization meaning

Conversion of a logic into a Gentzenian form.
noun
0
0
Advertisement

Origin of gentzenization

  • Gentzen +‎ -ization
    From Wiktionary