A Course in Constructive Algebra