Computability and Complexity in Analysis 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers - Blanck, Jens; Blanck, Jens; Brattka, Vasco; Brattka, Vasco; Hertling, Peter; Hertling, Peter (Springer Berlin Heidelberg : Imprint: Springer, 2001)