Remote Access Bulletin of the American Mathematical Society

Bulletin of the American Mathematical Society

ISSN 1088-9485(online) ISSN 0273-0979(print)

Book Review

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

Full text of review: PDF
Book Information:

Authors: 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.

References [Enhancements On Off] (What's this?)

  • Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955
  • Paul Moritz Cohn, Algebra. Vol. 2, John Wiley & Sons, London-New York-Sydney, 1977. With errata to Vol. I. MR 0530404
  • [Constable] R. L. Constable et al., Implementing mathematics, Prentice-Hall, New Jersey, 1986.
  • B. A. Kushner, Lectures on constructive mathematical analysis, Translations of Mathematical Monographs, vol. 60, American Mathematical Society, Providence, RI, 1984. Translated from the Russian by E. Mendelson; Translation edited by Lev J. Leifman. MR 773852
  • P. Martin-Löf, Constructive mathematics and computer programming, Philos. Trans. Roy. Soc. London Ser. A 312 (1984), no. 1522, 501–518. With discussion; Mathematical logic and programming languages. MR 776272, 10.1098/rsta.1984.0073

Review Information:

Reviewer: Douglas S. Bridges
Journal: Bull. Amer. Math. Soc. 20 (1989), 127-132