%0 Journal Article
%A A. S. Anikeev
%T Classification of derivable propositional formulas
%J Matematičeskie zametki
%D 1972
%P 165-174
%V 11
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_1972_11_2_a5/
%G ru
%F MZM_1972_11_2_a5