Apartness and Uniformity
Subtitle: A Constructive Development
By: by Douglas S. Bridges, Luminiţa Simona Vîţă
Contributors: Vîță, Luminița Simona; SpringerLink (Online service)
Series: Theory and Applications of Computability, In cooperation with the association Computability in Europe
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642224140; 9783642224157
Subjects: Global analysis (Mathematics); Symbolic and mathematical Logic; Computer science; Information theory; Topology