Computability and Complexity in Analysis : 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers - Jens Blanck, Vasco Brattka, Peter Hertling ((Lecture Notes in Computer Science))