Syntactical Transforms (Q5608743): Difference between revisions

@@ Property / cites work @@
+Q5799431
@@ Property / cites work: Q5799431 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on An Embedding Theorem for Algebraic Systems
+Normal rank
@@ Property / cites work @@
+Q5848176
@@ Property / cites work: Q5848176 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete theories
@@ Property / cites work: Complete theories / rank @@
+Normal rank
@@ Property / cites work @@
+Über deduktive Theorien mit mehreren Sorten von Grunddingen
+Normal rank