000			00866nam a2200313Ia 4500
003			OSt
005			20220912151745.0
006			a|||||r|||| 00| 0
007			ta
008			220909b |||||||| |||| 00| 0 eng d
020			_a0521576512 (pbk)
024			_a4888
037			_bSelectbook,
037			_cTextual
040			_aCSL _beng _cCSL
041			_aeng
082			_aB3160aR4, M9
100			_aVickers Steven
245		0	_cVickers Steven _aTopology via logic
260			_aCambridge _bCambridge University Press _c1989
300			_a200p
490			_aCambridge tracts in theoretical computer science; 6
500			_aBibliography 191-195p; Index 196-200p
650			_a Analysis
650			_a Topology and Logic
650			_aMathematics
942			_hB3160aR4, M9 _cTEXL _2CC
999			_c74698 _d74698