Geodesic
Two notes on formalized topology
Fundamenta Mathematicae, Tome 107 (1980) no. 2, pp. 145-148

Voir la notice de l'article provenant de la source Institute of Mathematics Polish Academy of Sciences

DOI 

Yuri Gurevich. Two notes on formalized topology. Fundamenta Mathematicae, Tome 107 (1980) no. 2, pp. 145-148. doi: 10.4064/fm-107-2-145-148
@article{10_4064_fm_107_2_145_148,
     author = {Yuri Gurevich},
     title = {Two notes on formalized topology},
     journal = {Fundamenta Mathematicae},
     pages = {145--148},
     year = {1980},
     volume = {107},
     number = {2},
     doi = {10.4064/fm-107-2-145-148},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.4064/fm-107-2-145-148/}
}
TY  - JOUR
AU  - Yuri Gurevich
TI  - Two notes on formalized topology
JO  - Fundamenta Mathematicae
PY  - 1980
SP  - 145
EP  - 148
VL  - 107
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.4064/fm-107-2-145-148/
DO  - 10.4064/fm-107-2-145-148
LA  - en
ID  - 10_4064_fm_107_2_145_148
ER  - 
%0 Journal Article
%A Yuri Gurevich
%T Two notes on formalized topology
%J Fundamenta Mathematicae
%D 1980
%P 145-148
%V 107
%N 2
%U http://geodesic.mathdoc.fr/articles/10.4064/fm-107-2-145-148/
%R 10.4064/fm-107-2-145-148
%G en
%F 10_4064_fm_107_2_145_148

Cité par Sources :