A course in constructive algebra, Springer-Verlag (1988)

by R Mines, F Richman, W Ruitenburg