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...

Fuld beskrivelse

Bibliografiske detaljer

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