en bicartesian closed category |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en heyting algebra |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en heyting prealgebra |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en heyting algebra (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en bicartesian closed category (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary | ||
en bicartesian closed category (n) |
― IsA ⟶
Weight: 1.0
|
|
Source: English Wiktionary |