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 : 10.4064/fm-107-2-145-148

Yuri Gurevich 1

1 
@article{10_4064_fm_107_2_145_148,
     author = {Yuri Gurevich},
     title = {Two notes on formalized topology},
     journal = {Fundamenta Mathematicae},
     pages = {145--148},
     publisher = {mathdoc},
     volume = {107},
     number = {2},
     year = {1980},
     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
PB  - mathdoc
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
%I mathdoc
%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
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

Cité par Sources :