Gentzenization

词形变化

Gentzenizations 复数 Gentzenizations

释义与例句

n.
  1. 1.

    Conversion of a logic into a Gentzenian form.

    可数 不可数

词源

From Gentzen + -ization.

来源：wiktionary