Vickers, Steven <br/><br/>
Topology via logic 

 -  Cambridge university press  1989 
<br/><br/> cambridge tracts in theoretical computer science 
<br/><br/><label>Dewey Class. No.: </label>514  / VIC. T