A Remark on the Intersection of Tow Logics (Q5599784): Difference between revisions

@@ Property / author @@
-Satoshi Miura
@@ Property / author: Satoshi Miura / rank @@
-Normal rank
@@ Property / author @@
+Satoshi Miura
@@ Property / author: Satoshi Miura / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+The system LD
@@ Property / cites work: The system LD / rank @@
+Normal rank
@@ Property / cites work @@
+On a Practical Way of Describing Formal Deductions
+Normal rank
@@ Property / cites work @@
+On Universal Character of the Primitive Logic
@@ Property / cites work: On Universal Character of the Primitive Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Certain Kind of Formal Theories
@@ Property / cites work: A Certain Kind of Formal Theories / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5599784