"Computability and Complexity in Analysis, 4 conf., CCA 2000" - читать интересную книгу автора (Jens Blanck)