Discussion on the foundation of mathematics (Q3318743): Difference between revisions

@@ Property / cites work @@
+Leben und Wirken Kurt Gödels
@@ Property / cites work: Leben und Wirken Kurt Gödels / rank @@
+Normal rank
@@ Property / cites work @@
+The published work of Kurt Goedel: An annotated bibliography
+Normal rank
@@ Property / cites work @@
+Addenda and Corrigenda to ''The published work of Kurt Gödel''
+Normal rank
@@ Property / cites work @@
+Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
+Normal rank
@@ Property / cites work @@
+Logic in the twenties: the nature of the quantifier
+Normal rank
@@ Property / cites work @@
+In memoriam Kurt Gödel: His 1931 correspondence with Zermelo on his incompletability theorem
+Normal rank
@@ Property / cites work @@
+On the Development of Logics Between the Two World Wars
+Normal rank
@@ Property / cites work @@
+Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4063405
@@ Property / cites work: Q4063405 / rank @@
+Normal rank
@@ Property / cites work @@
+Some facts about Kurt Gödel
@@ Property / cites work: Some facts about Kurt Gödel / rank @@
+Normal rank