Course in Constructive Algebra