Textmeddelande: Foundations of constructive analysis - Errett Bishop