Apartness and Uniformity A Constructive Development |
|
| Author:
| Bridges, Douglas S.
Vita, Luminita Simona |
| ISBN: | 978-3-642-26996-7 |
| Publication Date: | Dec 2013 |
| Publisher: | Springer
|
| Book Format: | Paperback |
| List Price: | AUD $283.95 |
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.