Gödel's natural deduction (Q1744008): 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 @@
+Q3235339
@@ Property / cites work: Q3235339 / 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 @@
+Cut elimination in categories
@@ Property / cites work: Cut elimination in categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4918290
@@ Property / cites work: Q4918290 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferential Semantics
@@ Property / cites work: Inferential Semantics / 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 @@
+On Sets of Premises
@@ Property / cites work: On Sets of Premises / rank @@
+Normal rank
@@ Property / cites work @@
+Gödel on deduction
@@ Property / cites work: Gödel on 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 @@
+Natural deduction, hybrid systems and modal logics
+Normal rank
@@ Property / cites work @@
+A survey of nonstandard sequent calculi
@@ Property / cites work: A survey of nonstandard sequent calculi / rank @@
+Normal rank
@@ Property / cites work @@
+Q5320764
@@ Property / cites work: Q5320764 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic: a history of its central concepts
@@ Property / cites work: Logic: a history of its central concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank