"Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability) " - читать интересную книгу автора (Douglas S. Bridges, Luminia Simona Vî)