Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

This book presents a theory of apartness encompassing both point-set topology and the theory of uniform spaces. The first book on the apartness approach to constructive topology, it is a valuable addition to the literature on topology in computer science.