LEADER 00872nam0-22003251i-450-
001 990001320450403321
010   $a0-521-36062-5
035   $a000132045
035   $aFED01000132045
035   $a(Aleph)000132045FED01
035   $a000132045
100   $a20000920d1989----km-y0itay50------ba
101 0 $aeng
200 1 $aTopology Via Logic$fSteven Vickers.
210   $aCambridge$cCambridge University Press$dc198 9.
215   $a200 p.$cill.$d26 cm
225 1 $aCambridge tracts in theoretical computer science$v5
610 0 $aLogica
610 0 $aTopologia
676   $a511.3
700  1$aVickers,$bSteven$059833
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990001320450403321
952   $a124-B-30$b10510$fMA1
959   $aMA1
962   $a03-02
996   $aTopology Via Logic$9383140
997   $aUNINA
DB    $aING01