Heyting algebras
plural of Colorado beetle
plural of Tylerism
plural of Heyting algebra
A member of the mainstream. / Someone who mainlines (injects drugs directly into their veins).
「ヘイティング代数」の複数形は、直観主義論理とその圏論的関係を研究するための優雅な代数的枠組みを与える代数的構造を指す。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
