Title: Topology via Logic (Cambridge Tracts in Theoretical Computer Science)
Subjects: Topology