Universal Algebra and Logic