%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