Algebraic Logic and Universal Algebra in Computer Science