Apartness and Uniformity A Constructive Development |
|
| Author:
| Bridges, Douglas S.
Vî, Luminia Simona |
| Series title: | Theory and Applications of Computability Ser. |
| ISBN: | 978-3-642-22414-0 |
| Publication Date: | Sep 2011 |
| Publisher: | Springer Berlin / Heidelberg
|
| Imprint: | Springer |
| Book Format: | Hardback |
| List Price: | USD $149.99USD $109.99 |
Book Description:
|
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.
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.