Algebra Heytinga (Q818722): Difference between revisions

@@ 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 / National Library Identifier @@
+a0000003729338
@@ Property / National Library Identifier: a0000003729338 / rank @@
+Normal rank
@@ Property / Related person @@
+Heyting, Arend
@@ Property / Related person: Heyting, Arend / rank @@
+Normal rank
@@ Property / Related Subject @@
+Krata rozdzielna (matematyka)
@@ Property / Related Subject: Krata rozdzielna (matematyka) / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika algebraiczna
@@ Property / Related Subject: Logika algebraiczna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika intuicjonistyczna
@@ Property / Related Subject: Logika intuicjonistyczna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Algebra Boole'a
@@ Property / Related Subject: Algebra Boole'a / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P38999T71020
@@ Property / Version: P38999T71020 / rank @@
+Normal rank

Latest revision as of 09:58, 1 December 2023