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
Voir la notice du chapitre de livre
@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/