L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97.
Paul Richard Halmos · Journal of Symbolic Logic · 1957
L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97. - Volume 22 Issue 2