A Course of Constructive Algebra (1988)

by R Mines, F Richman, W Ruitenburg