130239

Key references

Paul Taylor

Foundations for computable topology

2011

in: Foundational theories of classical and constructive mathematics, Dordrecht : Springer

Open Access Link