Gödel on deduction (Q2631643): Difference between revisions

@@ Property / cites work @@
+GÖDEL’S NOTRE DAME COURSE
@@ Property / cites work: GÖDEL’S NOTRE DAME COURSE / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's Introduction to Logic in 1939
@@ Property / cites work: Gödel's Introduction to Logic in 1939 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000313
@@ Property / cites work: Q4000313 / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573370
@@ Property / cites work: Q5573370 / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel on Concepts
@@ Property / cites work: Gödel on Concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842677
@@ Property / cites work: Q4842677 / 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 @@
+Q4395622
@@ Property / cites work: Q4395622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3153199
@@ Property / cites work: Q3153199 / rank @@
+Normal rank
@@ Property / cites work @@
+Identity of Proofs Based on Normalization and Generality
+Normal rank
@@ Property / cites work @@
+Models of deduction
@@ Property / cites work: Models of deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918290
@@ Property / cites work: Q4918290 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Paths of Categories
@@ Property / cites work: On the Paths of Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel's natural deduction
@@ Property / cites work: Gödel's natural deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3376920
@@ Property / cites work: Q3376920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610986
@@ Property / cites work: Q5610986 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754493
@@ Property / cites work: Q4754493 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4830809
@@ Property / cites work: Q4830809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3720554
@@ Property / cites work: Q3720554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4859908
@@ Property / cites work: Q4859908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787957
@@ Property / cites work: Q4787957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787958
@@ Property / cites work: Q4787958 / rank @@
+Normal rank
@@ Property / cites work @@
+Zeiteinteilung (Maximen) I und II
@@ Property / cites work: Zeiteinteilung (Maximen) I und II / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary set theory
@@ Property / cites work: Finitary set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Two papers on the predicate calculus
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Meanings in Ordinary Language and in Mathematics
@@ Property / cites work: Meanings in Ordinary Language and in Mathematics / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in proof-theoretic semantics
@@ Property / cites work: Advances in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Problems in Proof-Theoretic Semantics
@@ Property / cites work: Open Problems in Proof-Theoretic Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Two Draft Letters from Godel on Self-knowledge of Reason
+Normal rank
@@ Property / cites work @@
+Q3216621
@@ Property / cites work: Q3216621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4367940
@@ Property / cites work: Q4367940 / rank @@
+Normal rank