A course in constructive algebra - Mines, Ray 1938-2013; Richman, Fred 1938-; Ruitenburg, Wim 1955-; Ruitenburg, Wim 1955- (Springer-Verlag, 1988)
Keywords: Algèbre; Algebra; Konstruktive Mathematik; Konstruktive Algebra