Topology via logic - Vickers, Steven (Cambridge University Press, 1996)
Includes bibliography and index