%0 Journal Article
%A Čuda, Karel
%T Translation of nonstandard definitions to standard ones
%J Commentationes Mathematicae Universitatis Carolinae
%D 1984
%P 615-634
%V 25
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1984__25_4_a3/
%G en
%F CMUC_1984__25_4_a3