%0 Journal Article
%A A. A. Voronkov
%T Model theory based on the constructive understanding of truth
%J Matematičeskie trudy
%D 1988
%P 25-42
%V 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MT_1988_8_a1/
%G ru
%F MT_1988_8_a1