GÖDEL’S NOTRE DAME COURSE (Q5283448): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963954413
@@ Property / OpenAlex ID: W2963954413 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.02607
@@ Property / arXiv ID: 1604.02607 / 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 @@
+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 @@
+A propositional calculus with denumerable matrix
@@ Property / cites work: A propositional calculus with denumerable matrix / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q2732560
@@ Property / cites work: Q2732560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4787957
@@ Property / cites work: Q4787957 / rank @@
+Normal rank
@@ Property / cites work @@
+On the rules of suppositions in formal logic
@@ Property / cites work: On the rules of suppositions in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Adjointness in Foundations
@@ Property / cites work: Adjointness in Foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+On the interpretation of Aristotelian syllogistic
@@ Property / cites work: On the interpretation of Aristotelian syllogistic / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
+Normal rank