%0 Journal Article
%A D. Yu. Vlasov
%T Russell, the Language for Formal Mathematics
%J Sibirskij žurnal čistoj i prikladnoj matematiki
%D 2011
%P 27-50
%V 11
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/VNGU_2011_11_2_a3/
%G ru
%F VNGU_2011_11_2_a3