Book Review
The AMS does not provide abstracts of book reviews.
You may download the entire review from the links below.
MathSciNet review:
1567738
Full text of review:
PDF
This review is available free of charge.
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.
Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Note Series, vol. 97, Cambridge University Press, Cambridge, 1987. MR 890955, DOI 10.1017/CBO9780511565663
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, DOI 10.1090/mmono/060
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, DOI 10.1098/rsta.1984.0073
- [Bridges-Richman] Douglas Bridges and Fred Richman, Varieties of constructive mathematics, London Math. Soc. Lecture Notes 97, Cambridge Univ. Press, 1987. MR 0890955
- [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:
Reviewer:
Douglas S. Bridges
Journal:
Bull. Amer. Math. Soc.
20 (1989), 127-132
DOI:
https://doi.org/10.1090/S0273-0979-1989-15728-5