Apartness and uniformity: a constructive development
Bridges, Douglas S.
Vita, Luminita Simona
83,15 €(IVA inc.)
This is the first research monograph on this topic. Suitable for advanced researchers in computer science, mathematics and logic. The authors are established experts on this subject. INDICE: The Constructive Framework. Point-Set Apartness. Apartness BetweenSets. Postlude: Paths to Topology. References. Index.
- ISBN: 978-3-642-22414-0
- Editorial: Springer Berlin Heidelberg
- Encuadernacion: Cartoné
- Páginas: 198
- Fecha Publicación: 31/08/2011
- Nº Volúmenes: 1
- Idioma: Inglés