%0 Journal Article %A G. E. Mints %T Solvability of the problem of deducibility in LJ for a class of formulas which do not contain negative occurrences of quantors %J Trudy Matematicheskogo Instituta imeni V.A. Steklova %D 1968 %P 121-130 %V 98 %I mathdoc %U http://geodesic.mathdoc.fr/item/TM_1968_98_a5/ %G ru %F TM_1968_98_a5