%0 Journal Article
%A S. Yu. Maslov
%T Application of the inverse method for establishing deducibility to the theory of decidable fragments in the classical predicate calculus
%J Doklady Akademii Nauk
%D 1966
%P 1282-1285
%V 171
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1966_171_6_a10/
%G ru
%F DAN_1966_171_6_a10