%0 Journal Article
%A E. Aladova
%A A. Gvaramia
%A B. Plotkin
%A T. Plotkin
%T Multi-sorted logic, models, and logical geometry
%J Fundamentalʹnaâ i prikladnaâ matematika
%D 2014
%P 5-22
%V 19
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FPM_2014_19_3_a1/
%G ru
%F FPM_2014_19_3_a1