Algebra and Logic