TY  - BOOK
AU  - Vickers, Steven
TI  - TOPOLOTY VIA LOGIC
SN  - 0521360625
U1  - 514 
PY  - 1989///
CY  - Cambridge
PB  - Cambridge Univ. Pr.
KW  - Topology
KW  - Logic, Symbolic And Mathematical
ER  -