Brouwer's constructivism (Q1220903): Difference between revisions

@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827968
@@ Property / cites work: Q5827968 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemology Without Knowledge and Without Belief
@@ Property / cites work: Epistemology Without Knowledge and Without Belief / rank @@
+Normal rank
@@ Property / cites work @@
+Q5666510
@@ Property / cites work: Q5666510 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalized recursive functionals and formalized realizability
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5539743
@@ Property / cites work: Q5539743 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Q5579001
@@ Property / cites work: Q5579001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600854
@@ Property / cites work: Q5600854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600855
@@ Property / cites work: Q5600855 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of indeterminacy in the theory of general choice sequences
+Normal rank
@@ Property / cites work @@
+The theory of empirical sequences
@@ Property / cites work: The theory of empirical sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Informal theory of choice sequences
@@ Property / cites work: Informal theory of choice sequences / rank @@
+Normal rank