"Techniques of Constructive Analysis" - читать интересную книгу автора (Douglas S. Bridges, Luminita Simona Vita)