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.
