complete Heyting algebra (Q5156470)
Jump to navigation
Jump to search
algebraic structure
- frame
- locale
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | complete Heyting algebra |
algebraic structure |
|
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Complete Heyting algebra
- kowiki 장소 (수학)
- zhwiki 完全海廷代数