Vickers, Steven. <br/><br/>
Topology via logic / 
by Steven Vickers. 
 - Cambridge, N.Y. :  Cambridge University Press,  1996. 
 - 200 p. 
 - Cambridge Tracts in Theoretical Computer Science Ser. ; No. 5. .
<br/><br/> Includes bibliographical references and index.  Contents : Affirmative and refutative assertions--Frames. 
<br/><br/><label>ISBN: </label>0521576512 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Topology.<br/>Logic, Symbolic and mathematical.