Algorithmic Algebra and Logic