A Course in Constructive Algebra / by Ray Mines, Fred Richman, Wim Ruitenburg.

The constructive approach to mathematics has recently enjoyed a renaissance. This was caused largely by the appearance of Bishop's Foundations of Constructive Analysis, but also by the proliferation of powerful computers, which stimulated the development of constructive algebra for implementati...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Main Author:	Mines, Ray
Other Authors:	Richman, Fred, Ruitenburg, Wim
Format:	eBook
Language:	English
Published:	New York, NY : Springer New York, 1988.
Series:	Universitext.
Subjects:	Mathematics. Algebra.