000 00497pam a2200181a 44500
008 160408bc1989 xxu||||| |||| 00| 0 eng d
020 _a0521360625
082 _a514
_bV663t
100 _aVickers, Steven
245 1 _aTOPOLOTY VIA LOGIC
260 _aCambridge
_bCambridge Univ. Pr.
_cc1989
300 _a200
440 _aCambridge Tracts In Theoretical Computer Science
_v
650 _aTopology
650 _aLogic, Symbolic And Mathematical
964 _gCIRC
997 _aA108066 C
999 _c321186
_d321186