Algebra Heytinga (Q818722): Difference between revisions

Revision as of 05:16, 21 September 2023

No description defined

Language	Label	Description	Also known as
English	Algebra Heytinga	No description defined	Algebry Heytinga Heyting algebra Heytinga, algebra Heytinga, algebry

Imlerith

0 references

@@ aliases / en / 0 / aliases / en / 0 @@
+Algebry Heytinga
@@ aliases / en / 1 / aliases / en / 1 @@
+Heyting algebra
@@ aliases / en / 2 / aliases / en / 2 @@
+Heytinga, algebra
@@ aliases / en / 3 / aliases / en / 3 @@
+Heytinga, algebry
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Algebry Heytinga
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Heyting algebra
@@ aliases / pl / 2 / aliases / pl / 2 @@
+Heytinga, algebra
@@ aliases / pl / 3 / aliases / pl / 3 @@
+Heytinga, algebry
@@ Property / Version @@
+Imlerith
@@ Property / Version: Imlerith / rank @@
+Normal rank