Matematyka konstruktywna (Q1786390): Difference between revisions

@@ aliases / en / 0 / aliases / en / 0 @@
+Constructive mathematics
@@ aliases / en / 1 / aliases / en / 1 @@
+Konstruktywna, matematyka
@@ aliases / pl / 0 / aliases / pl / 0 @@
+Constructive mathematics
@@ aliases / pl / 1 / aliases / pl / 1 @@
+Konstruktywna, matematyka
@@ Property / National Library Identifier @@
+a0000003791959
@@ Property / National Library Identifier: a0000003791959 / rank @@
+Normal rank
@@ Property / Related Subject @@
+Metamatematyka
@@ Property / Related Subject: Metamatematyka / rank @@
+Normal rank
@@ Property / Related Subject @@
+Intuicjonizm matematyczny
@@ Property / Related Subject: Intuicjonizm matematyczny / rank @@
+Normal rank
@@ Property / Related Subject @@
+Logika intuicjonistyczna
@@ Property / Related Subject: Logika intuicjonistyczna / rank @@
+Normal rank
@@ Property / Related Subject @@
+Teoria obliczalności
@@ Property / Related Subject: Teoria obliczalności / rank @@
+Normal rank
@@ Property / Related Subject @@
+Analiza obliczalna
@@ Property / Related Subject: Analiza obliczalna / rank @@
+Normal rank
@@ Property / Type @@
+Unknown
@@ Property / Type: Unknown / rank @@
+Normal rank
@@ Property / Version @@
+P88821T13784
@@ Property / Version: P88821T13784 / rank @@
+Normal rank

Latest revision as of 00:14, 8 December 2023