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

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2272726
@@ Property / full work available at URL: https://doi.org/10.2307/2272726 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2152919884
@@ Property / OpenAlex ID: W2152919884 / rank @@
+Normal rank
@@ 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