Algebra Heytinga (Q818722): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item: Updating statements of entity ["Algebra Heytinga" (pl), "Algebra Heytinga" (en)] with Lapacz) |
(Changed an Item: Updating statements of entity ["Algebra Heytinga" (pl)] with Lapacz) |
||
Property / P4 (Deleted Property) | |||
Property / P4 (Deleted Property): Krata rozdzielna (matematyka) Property P4 not found, cannot determine the data type to use. / rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Property / Version | |||
Property / Version: Angoulême / 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