Email Record: Algebraic Logic and Universal Algebra in Computer Science :