Cylindric algebras
Leon Henkin, J. Donald Monk, Alfred Tarski
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic versions of logic.
