%0 Journal Article
%A D. P. Skvortsov
%T The occurrence of an implication in finitely valid, intuitively improvable formulas of propositional logic
%J Matematičeskie zametki
%D 1976
%P 383-390
%V 20
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1976_20_3_a9/
%G ru
%F MZM_1976_20_3_a9