"Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series)" - читать интересную книгу автора (Douglas Bridges, Fred Richman)