FOM: Constructive analysis

[Vladimir Komendantsky]

Steve, you may use in your course a classical monograph by B.A.Kushner
``Lections on constructive mathematical analysis''. Originally it was
published in Russian, but I think there must be an English edition. This book
represents the development of constructive analysis in Soviet Union. Several
very specific topics are discussed there, like algorithmic undecidability of
some problems connected with constructive reals.