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? steve