Bridges, Douglas S.
Apartness and Uniformity A Constructive Development / [electronic resource] : by Douglas S. Bridges, Luminiţa Simona Vîţă. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Theory and Applications of Computability, In cooperation with the association Computability in Europe, 2190-619X . - Theory and Applications of Computability, In cooperation with the association Computability in Europe, .
9783642224157
10.1007/978-3-642-22415-7 doi
Computer science.
Information theory.
Global analysis (Mathematics).
Logic, Symbolic and mathematical.
Topology.
Computer Science.
Theory of Computation.
Mathematics of Computing.
Topology.
Analysis.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151
Apartness and Uniformity A Constructive Development / [electronic resource] : by Douglas S. Bridges, Luminiţa Simona Vîţă. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. - digital. - Theory and Applications of Computability, In cooperation with the association Computability in Europe, 2190-619X . - Theory and Applications of Computability, In cooperation with the association Computability in Europe, .
9783642224157
10.1007/978-3-642-22415-7 doi
Computer science.
Information theory.
Global analysis (Mathematics).
Logic, Symbolic and mathematical.
Topology.
Computer Science.
Theory of Computation.
Mathematics of Computing.
Topology.
Analysis.
Mathematical Logic and Foundations.
QA75.5-76.95
004.0151