TY  - BOOK
AU  - Vickers,Steven
TI  - Topology via logic
T2  - Cambridge tracts in theoretical computer science
SN  - 0521360625
AV  - QA 611 V53.1989
PY  - 1989///
CY  - Cambridge
PB  - Cambridge University
KW  - Topología
N1  - Incluye bibliografía e índice
ER  -