%0 Journal Article
%A Н.К. Замов
%T Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
%J Issledovanija po prikladnoj matematike
%D 1974
%P 56-62
%V 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IPM_1974__2_68920/
%G ru
%F IPM_1974__2_68920