INTUITIONISTIC ANALYSIS AT THE END OF TIME (Q4602433): Difference between revisions

@@ Property / DOI @@
-.1017/bsl.2017.25
@@ Property / DOI: 10.1017/bsl.2017.25 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2774125772
@@ Property / OpenAlex ID: W2774125772 / rank @@
+Normal rank
@@ Property / cites work @@
+Relative and modified relative realizability
@@ Property / cites work: Relative and modified relative realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / 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 @@
+Constructive assertions in an extension of classical mathematics
+Normal rank
@@ Property / cites work @@
+Can there be no nonrecursive functions?
@@ Property / cites work: Can there be no nonrecursive functions? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4126323
@@ Property / cites work: Q4126323 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q5597506
@@ Property / cites work: Q5597506 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/BSL.2017.25
@@ Property / DOI: 10.1017/BSL.2017.25 / rank @@
+Normal rank