Separatedness in constructive topology.
Bridges, Douglas ; Vîţă, Luminiţa
Documenta Mathematica, Tome 8 (2003), p. 567-576 / Harvested from The Electronic Library of Mathematics
Publié le : 2003-01-01
EUDML-ID : urn:eudml:doc:50764
@article{02028923,
     title = {Separatedness in constructive topology.},
     journal = {Documenta Mathematica},
     volume = {8},
     year = {2003},
     pages = {567-576},
     zbl = {1037.54020},
     language = {en},
     url = {http://dml.mathdoc.fr/item/02028923}
}
Bridges, Douglas; Vîţă, Luminiţa. Separatedness in constructive topology.. Documenta Mathematica, Tome 8 (2003) pp. 567-576. http://gdmltest.u-ga.fr/item/02028923/