plural of Heyting algebra
Heyting algebras
「ヘイティング代数」の複数形は、直観主義論理とその圏論的関係を研究するための優雅な代数的枠組みを与える代数的構造を指す。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★