%0 Journal Article
%A A. S. Kuzichev
%T On the representation of first order theories in type-free combinatorially complete systems
%J Doklady Akademii Nauk
%D 1982
%P 23-27
%V 266
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1982_266_1_a3/
%G ru
%F DAN_1982_266_1_a3