Topology via logic /
Vickers, Steven.
Cambridge : Cambridge University Press,
1989.
Topology.