Q5652656 (Q5652656): Difference between revisions

@@ Property / cites work @@
+Q5761848
@@ Property / cites work: Q5761848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+BLICK VON DER INTUITIONISTISCHEN WARTE
@@ Property / cites work: BLICK VON DER INTUITIONISTISCHEN WARTE / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of intuitionistic number theory
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586230
@@ Property / cites work: Q5586230 / 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 @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5539743
@@ Property / cites work: Q5539743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5597507
@@ Property / cites work: Q5597507 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal systems for some branches of intuitionistic analysis
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5577058
@@ Property / cites work: Q5577058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633977
@@ Property / cites work: Q5633977 / rank @@
+Normal rank