000 00774cam-a2200289-a-4500
001 000087280
003 mxmxui
005 20240105134258.0
008 951108s1989 xxk r 000 0 eng d
020 _a0521360625
035 _a178134
040 _aUIASF
_cUIASF
050 4 _aQA 611
_bV53.1989
100 1 _aVickers, Steven
245 1 0 _aTopology via logic /
_cSteven Vickers
260 _aCambridge :
_bCambridge University,
_c1989
300 _a200 p. ;
_c25 cm
490 0 _aCambridge tracts in theoretical computer science
504 _aIncluye bibliografía e índice.
650 4 _aTopología
_9197915
905 _a01
942 1 _cNEWBFXC1
999 _c86102
_d86102
980 _851
_gRonald RUIZ