000 00285nam a22001097a 4500
082 _a514
_bVIC. T
100 _aVickers, Steven
245 _aTopology via logic
260 _bCambridge university press
_c1989
500 _acambridge tracts in theoretical computer science
942 _cBK
999 _c211255
_d211255