%0 Journal Article
%A Kříž, Igor
%T A constructive proof of the Tychonoff's theorem for locales
%J Commentationes Mathematicae Universitatis Carolinae
%D 1985
%P 619-630
%V 26
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1985__26_3_a14/
%G en
%F CMUC_1985__26_3_a14