Topology via logic - Vickers, Steven (Univ. Pr., 1989)