000
00285nam a22001097a 4500
082
_a
514
_b
VIC. T
100
_a
Vickers, Steven
245
_a
Topology via logic
260
_b
Cambridge university press
_c
1989
500
_a
cambridge tracts in theoretical computer science
942
_c
BK
999
_c
211255
_d
211255