Vickers, Steven <br/><br/>
Topology via logic / 
Steven Vickers. 
 - Cambridge :  Cambridge University Press,  1989. 
 - Cambrdge tracts in theoretical computer science .
<br/><br/>Bibliographical references and index. 
<br/><br/><label>ISBN: </label>0521576512 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Topology
<br/><br/><label>LC Class. No.: </label>QA611.A34  / Vic 1989