%0 Journal Article
%A D. P. Skvortsov
%T Realizability and finite validity of propositional formulas with restrictions on the occurrence of implication
%J Matematičeskie zametki
%D 1979
%P 919-931
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1979_25_6_a10/
%G ru
%F MZM_1979_25_6_a10