On Universal Character of the Primitive Logic (Q5546770): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Certain Kind of Formal Theories
@@ Property / cites work: A Certain Kind of Formal Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistische Untersuchungen der formalistischen Logik
+Normal rank
@@ Property / cites work @@
+The system LD
@@ Property / cites work: The system LD / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5546770