TY  - BOOK
AU  - Vickers Steven
TI  - Topology via logic
T2  - Cambridge tracts in theoretical computer science; 6
SN  - 0521576512 (pbk)
U1  - B3160aR4, M9 
PY  - 1989///
CY  - Cambridge
PB  - Cambridge University Press       
KW  -  Analysis
KW  -  Topology and Logic
KW  - Mathematics
N1  - Bibliography 191-195p; Index 196-200p
ER  -