Gödel and Intuitionism (Q5250219): Difference between revisions

@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5316409
@@ Property / cites work: Q5316409 / rank @@
+Normal rank
@@ Property / cites work @@
+The adventure of reason. Interplay between philosophy of mathematics and mathematical logic, 1900–1940
+Normal rank
@@ Property / cites work @@
+Essays on Gödel's reception of Leibniz, Husserl, and Brouwer
+Normal rank
@@ Property / cites work @@
+On the Philosophical Development of Kurt Gödel
@@ Property / cites work: On the Philosophical Development of Kurt Gödel / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710519
@@ Property / cites work: Q3710519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340832
@@ Property / cites work: Q3340832 / rank @@
+Normal rank
@@ Property / cites work @@
+Points and Spaces
@@ Property / cites work: Points and Spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068683
@@ Property / cites work: Q4068683 / rank @@
+Normal rank
@@ Property / cites work @@
+The selected correspondence of L. E. J. Brouwer.
@@ Property / cites work: The selected correspondence of L. E. J. Brouwer. / rank @@
+Normal rank
@@ Property / cites work @@
+Future Tasks for Gödel Scholars
@@ Property / cites work: Future Tasks for Gödel Scholars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880841
@@ Property / cites work: Q3880841 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4492739
@@ Property / cites work: Q4492739 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282586
@@ Property / cites work: Q4282586 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5582318
@@ Property / cites work: Q5582318 / rank @@
+Normal rank
@@ Property / cites work @@
+The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis
+Normal rank
@@ Property / cites work @@
+ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
+Normal rank
@@ Property / cites work @@
+Q4023115
@@ Property / cites work: Q4023115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787958
@@ Property / cites work: Q4787958 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787957
@@ Property / cites work: Q4787957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5613908
@@ Property / cites work: Q5613908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4478834
@@ Property / cites work: Q4478834 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4757531
@@ Property / cites work: Q4757531 / 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 @@
+Q5606582
@@ Property / cites work: Q5606582 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of Heyting arithmetic in natural deduction
+Normal rank
@@ Property / cites work @@
+Q5513756
@@ Property / cites work: Q5513756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596755
@@ Property / cites work: Q5596755 / rank @@
+Normal rank
@@ Property / cites work @@
+On weak completeness of intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q5525322
@@ Property / cites work: Q5525322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579002
@@ Property / cites work: Q5579002 / rank @@
+Normal rank
@@ Property / cites work @@
+Church's thesis and the ideal of informal rigour
@@ Property / cites work: Church's thesis and the ideal of informal rigour / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+Q4388951
@@ Property / cites work: Q4388951 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4793038
@@ Property / cites work: Q4793038 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5579001
@@ Property / cites work: Q5579001 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600854
@@ Property / cites work: Q5600854 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3256321
@@ Property / cites work: Q3256321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5606586
@@ Property / cites work: Q5606586 / rank @@
+Normal rank
@@ Property / cites work @@
+Reflections of my adviser: stories of mathematics and mathematicians
+Normal rank
@@ Property / cites work @@
+Q3226735
@@ Property / cites work: Q3226735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5519134
@@ Property / cites work: Q5519134 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions, proofs and the meaning of logical constants
+Normal rank
@@ Property / cites work @@
+Semantic values for natural deduction derivations
@@ Property / cites work: Semantic values for natural deduction derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4091903
@@ Property / cites work: Q4091903 / rank @@
+Normal rank
@@ Property / cites work @@
+Another intuitionistic completeness proof
@@ Property / cites work: Another intuitionistic completeness proof / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistically plausible interpretation of intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+Godel's Unpublished Papers on Foundations of Mathematics†
+Normal rank
@@ Property / cites work @@
+Q3079619
@@ Property / cites work: Q3079619 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume II
+Normal rank
@@ Property / cites work @@
+An intuitiomstic completeness theorem for intuitionistic predicate logic
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3764099
@@ Property / cites work: Q3764099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367940
@@ Property / cites work: Q4367940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3757870
@@ Property / cites work: Q3757870 / rank @@
+Normal rank