Investigations in many-sorted quantor logic (Q774393): Difference between revisions

@@ Property / cites work @@
+Q3235339
@@ Property / cites work: Q3235339 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528633
@@ Property / cites work: Q5528633 / rank @@
+Normal rank
@@ Property / cites work @@
+The completeness of the first-order functional calculus
+Normal rank
@@ Property / cites work @@
+On the definition of ‘formal deduction’
@@ Property / cites work: On the definition of ‘formal deduction’ / rank @@
+Normal rank
@@ Property / cites work @@
+Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Logic of many-sorted theories
@@ Property / cites work: Logic of many-sorted theories / rank @@
+Normal rank