Gentzenization
plural of jelly powder
Conversion of a logic into a Gentzenian form.
(soccer) The Nigeria women's national football team
To prearrange unalterably. / To decree. / (religion) To admit into the ministry, for example as a priest, bishop, minister or Buddhist monk, or to authorize as a rabbi. / To predestine.
古典論理体系をゲンツェン形式に変換することは、証明の構造を明確にし、カット消去を容易にした。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★