Vickers, S. <br/><br/>
Topology via logic 
S. Vickers 
 - Cambridge  Cambridge Univeristy Press  1989