Apartness and Uniformity : A Constructive Development - Douglas S. Bridges, Lumini.a Simona Vî. ((Theory and Applications of Computability))