"Foundations of constructive analysis (McGraw-Hill series in higher mathematics)" - читать интересную книгу автора (Errett Bishop)