Tutorials on Algebra and Logic