Topology via logic - Vickers, Steven (Cambridge University Press, 1990)