"Foundations of constructive analysis" - читать интересную книгу автора (Bishop E.)