A theory of restricted quantification I (Q3249762): Difference between revisions

@@ Property / cites work @@
+Quantification and the empty domain
@@ Property / cites work: Quantification and the empty domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807658
@@ Property / cites work: Q5807658 / rank @@
+Normal rank
@@ Property / cites work @@
+Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Über deduktive Theorien mit mehreren Sorten von Grunddingen
+Normal rank
@@ Property / cites work @@
+Logic of many-sorted theories
@@ Property / cites work: Logic of many-sorted theories / rank @@
+Normal rank