On closed and open sets in constructive topological spaces
Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 250-256
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{TM_1967_93_a12,
author = {Phan {\DJ}{\`\i}ni Di\^eu},
title = {On closed and open sets in constructive topological spaces},
journal = {Trudy Matematicheskogo Instituta imeni V.A. Steklova},
pages = {250--256},
year = {1967},
volume = {93},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/TM_1967_93_a12/}
}
Phan Đìni Diêu. On closed and open sets in constructive topological spaces. Trudy Matematicheskogo Instituta imeni V.A. Steklova, Problems of the constructive direction in mathematics. Part 4, Tome 93 (1967), pp. 250-256. http://geodesic.mathdoc.fr/item/TM_1967_93_a12/