Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers - Blanck, Jens, 1966-; Brattka, Vasco, 1966-; Hertling, Peter, 1965- (Lecture notes in computer science, 2001)