"Varieties of constructive mathematics" - читать интересную книгу автора (Bridges D., Richman F.)