Gödel's natural deduction (Q1744008): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-017-9744-x
@@ Property / DOI: 10.1007/s11225-017-9744-x / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2964172364
@@ Property / OpenAlex ID: W2964172364 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03078
@@ Property / arXiv ID: 1604.03078 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1007/S11225-017-9744-X
@@ Property / DOI: 10.1007/S11225-017-9744-X / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1744008