Cylindric Algebras by Author Unknown, Alfred Tarski & Leon Henkin