FOM: Re: Constructive analysis

[Hrant Marandjian]

Steve Stevenson wrote:

> I'm looking to pull together a seminar in constructive analysis. I
> have books by Goodstein (Recursive Analysis, Textbook in Math
> Analysis), Bishop and Bishop & Bridges, and Lorenzen (Differential and
> Integral ... ).

> Does anyone have other text suggestion? Does anyone have any
> suggestions on topics, etc?

There are also other sources:

Mines, R., F., Richman and W. Ruitenburg, A course in constructive algebra,
Springer-Verlag 1988.

Shanin, N.A., Constructive real numbers and constructive function spaces,
Amer. Math. Soc. 1968.

Kushner, B., Lectures on Constructive Mathematical Analysis, Providence RI:
Amer. Math. Soc. 1985,
                    (Translation of Russian 1973 book)

Weihrauch, Klaus, A Foundation for Computable Analysis, in Combinatorics,
Complexity, & Logic,
                        D. Bridges, C. Calude, J. Gibbons, S. Reeves, and I.
Witten (eds.), Singapore: Springer-Verlag 1996.

Weihrauch, Klaus, Computable Analysis, EATCS Texts in Theoretical Computer
Science, Heidelberg: Springer-Verlag  2000.

-- Hrant Marandjian