%0 Journal Article
%A V. V. Knyazev
%T A~zero-one law for many-sorted first-order predicate logic
%J Diskretnaya Matematika
%D 1990
%P 97-101
%V 2
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_1990_2_3_a10/
%G ru
%F DM_1990_2_3_a10