Heyting’s contribution to the change in research into the foundations of mathematics (Q4312340): Difference between revisions

@@ Property / cites work @@
+Q5761848
@@ Property / cites work: Q5761848 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+The war of the frogs and the mice, or the crisis of the Mathematische Annalen
+Normal rank
@@ Property / cites work @@
+On weakened quantification
@@ Property / cites work: On weakened quantification / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / 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 @@
+Intuitionistic views on the nature of mathematics
@@ Property / cites work: Intuitionistic views on the nature of mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Die kontroverse um die intuitionistische logik vor ihrer axiomatisierung durch heyting im jahre 1930
+Normal rank
@@ Property / cites work @@
+Q4694207
@@ Property / cites work: Q4694207 / rank @@
+Normal rank