Apartness and uniformity a constructive development

The theory presented in this book is developed constructively, is based on a few axioms encapsulating the notion of objects (points and sets) being apart, and encompasses both point-set topology and the theory of uniform spaces. While the classical-logic-based theory of proximity spaces provides som...

Full description

Bibliographic Details

Published in:	Springer eBooks.
Main Authors:	Bridges, Douglas S. (Author), Vîta, Luminita Simona (Author)
Corporate Author:	SprigerLink (Online service)
Format:	Electronic Resource
Language:	English
Published:	Berlin, Heidelberg Springer Berlin Heidelberg [©2011.]
Subjects:	Computer science. Information theory. Global analysis (Mathematics). Logic, Symbolic and mathematical. Electronic books.
Online Access:	Available for University of the Philippines Diliman via SpringerLink. Click here to access