Algebra Heytinga (Q818722): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in en, pl, and other parts: Updating entity Algebra Heytinga with Lapacz) |
(Changed an Item: Updating statements of entity ["Algebra Heytinga" (pl)] with Lapacz) |
||
(One intermediate revision by the same user not shown) | |||
Property / Version | |||
Property / Version: Imlerith / rank | |||
Property / National Library Identifier | |||
a0000003729338 | |||
Property / National Library Identifier: a0000003729338 / rank | |||
Normal rank | |||
Property / Related person | |||
Property / Related person: Heyting, Arend / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Krata rozdzielna (matematyka) / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logika algebraiczna / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logika intuicjonistyczna / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Algebra Boole'a / rank | |||
Normal rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Normal rank | |||
Property / Version | |||
P38999T71020 | |||
Property / Version: P38999T71020 / rank | |||
Normal rank |
Latest revision as of 09:58, 1 December 2023
No description defined
- Algebry Heytinga
- Heyting algebra
- Heytinga, algebra
- Heytinga, algebry
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebra Heytinga |
No description defined |
|
Statements
a0000003729338
0 references
P38999T71020
0 references