Bulletin of the American Mathematical Society

The AMS does not provide abstracts of book reviews. You may download the entire review from the links below.

Book Information

Author(s): Ray Mines, Fred Richman and Wim Ruitenburg
Title: A course in constructive algebra
Additional book information: Universitext, Springer-Verlag, New York, Berlin, Heidelberg, xi + 344 pp., $32.00. ISBN 0-387-96640-4

[Bridges-Richman] Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Math. Soc. Lecture Notes 97, Cambridge Univ. Press, 1987. MR 890955

[Cohn] P. M. Cohn, Algebra, vol. 2, John Wiley, New York, 1977. MR 530404

[Constable] R. L. Constable et al., Implementing mathematics, Prentice-Hall, New Jersey, 1986.

[Kushner] B. A. Kushner, Lectures on constructive mathematical analysis, Transl. Math. Monographs, vol. 60, Amer. Math. Soc. Providence, R.I., 1985. MR 773852

[Martin-Löf] P. Martin-Löf, Constructive mathematics and computer programming, Mathematical Logic and Programming Languages (C. A. R. Hoare and J. C. Shepherdson, eds. ), Prentice-Hall, New Jersey, 1985. MR 776272

Review Information:
Journal: Bull. Amer. Math. Soc. 20 (1989), 127-132.
DOI: 10.1090/S0273-0979-1989-15728-5
PII: S 0273-0979(1989)15728-5

			Journals Home Search Author Info Subscribe Tech Support Help
ISSN 1088-9485(e) ISSN 0273-0979(p)

Previous issue \| Table of contents \| Next issue Articles in press \| Recently posted articles \| Most recent issue \| All issues: 1891 - Present Previous Article \| Next Article


	Comments: webmaster@ams.org © Copyright 2008, American Mathematical Society Privacy Statement		Search the AMS