00872nam0-22003251i-450-9900013204504033210-521-36062-5000132045FED01000132045(Aleph)000132045FED0100013204520000920d1989----km-y0itay50------baengTopology Via LogicSteven Vickers.CambridgeCambridge University Pressc198 9.200 p.ill.26 cmCambridge tracts in theoretical computer science5LogicaTopologia511.3Vickers,Steven59833ITUNINARICAUNIMARCBK990001320450403321124-B-3010510MA1MA103-02Topology Via Logic383140UNINAING01