008 |
|
980113s1996 xxka e 01y 0 egddd |
020 |
|
|a0521576512 ((pbk)) : |cNT$979
|
035 |
|
|a00000008
|
040 |
|
|aTMUE|beng|cTMUE|dTMUE
|
044 |
|
|axxk
|
100 |
1
|
|aVickersSteven
|
245 |
10
|
|aTopology via logic / |cSteven Vickers
|
250 |
|
|a1st pbk. ed
|
260 |
|
|aCambridge [England] ; |aNew York : |bCambridge University Press, |c1996
|
300 |
|
|a200 p : |bill ; |c26 cm
|
490 |
1
|
|aCambridge tracts in theoretical computer science ; |v5
|
504 |
|
|aIncludes bibliographical references (p. [191]-195) and index
|
650 |
0
|
|aTopology
|
830 |
0
|
|aCambridge tracts in theoretical computer science ; |v5
|