Course in constructive algebra - Mines Ray; Richman Fred; Ruitenburg Wim (NY Springer-Verlag, 1988)
Keywords: Algebra; Constructive algebra