Logika intuicjonistyczna (Q81248): Difference between revisions

@@ Property / National Library Identifier @@
+a0000002839369
@@ Property / National Library Identifier: a0000002839369 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Algebra Heytinga
@@ Property / Related Subject: Algebra Heytinga / rank @@
+Normal rank
@@ Property / Related Subject @@
+Intuicjonizm matematyczny
@@ Property / Related Subject: Intuicjonizm matematyczny / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika pośrednia
@@ Property / Related Subject: Logika pośrednia / rank @@
+Normal rank
@@ Property / Related Subject @@
+Matematyka konstruktywna
@@ Property / Related Subject: Matematyka konstruktywna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Semantyka Kripkego
@@ Property / Related Subject: Semantyka Kripkego / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P91577T52649
@@ Property / Version: P91577T52649 / rank @@
+Normal rank

Latest revision as of 08:35, 25 November 2023