Cylindric Algebras door Author Unknown, Alfred Tarski & Leon Henkin