TY  - BOOK
AU  - Vickers, Steven
TI  - Topology via logic
U1  - 514 
PY  - 1989///
PB  - Cambridge university press
N1  - cambridge tracts in theoretical computer science
ER  -