European Meeting of the Association for Symbolic Logic, Bristol, England, 1973 (Q4777253): Difference between revisions

@@ Property / cites work @@
+Vom Unendlichen zum Endlichen
@@ Property / cites work: Vom Unendlichen zum Endlichen / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of a system of combinatory restricted generality
+Normal rank
@@ Property / cites work @@
+Countable vector spaces with recursive operations Part II
+Normal rank
@@ Property / cites work @@
+Applications of Strict Π<sub>1</sub><sup>1</sup> predicates to infinitary logic
+Normal rank
@@ Property / cites work @@
+Combinatorial systems. I: Cylindrical problems
@@ Property / cites work: Combinatorial systems. I: Cylindrical problems / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to model theory and to the metamathematics of algebra
+Normal rank
@@ Property / cites work @@
+Subdirect unions in universal algebra
@@ Property / cites work: Subdirect unions in universal algebra / rank @@
+Normal rank