Topology Via Logic - Vickers, Steven (Cambridge, 1996)