Q5528633 (Q5528633): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Logic of many-sorted theories
@@ Property / cites work: Logic of many-sorted theories / rank @@
+Normal rank
@@ Property / cites work @@
+Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5528633