Gentzenization

名词 n.
中文释义

英文释义

名词 n.
  1. Conversion of a logic into a Gentzenian form. countable,uncountable
    — Proof Theory (theory of axiomatizability, Gentzenization)

词形变化

Gentzenizations plural

词源

From Gentzen + -ization.
0 次浏览 数据来源: Wiktionary