Errett Bishop

• Foundations of Constructive Analysis
• Selected Papers of Errett Bishop