Decidability and Specker sequences in intuitionistic mathematics (Q3650323): Difference between revisions

@@ Property / cites work @@
+Q3754620
@@ Property / cites work: Q3754620 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of intuitionistic analysis
@@ Property / cites work: An interpretation of intuitionistic analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343325
@@ Property / cites work: Q5343325 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4486016
@@ Property / cites work: Q4486016 / rank @@
+Normal rank
@@ Property / cites work @@
+Specker sequences revisited
@@ Property / cites work: Specker sequences revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank