%0 Journal Article
%A G. V. Bokov
%T Criterion for propositional calculi to be finitely generated
%J Diskretnaya Matematika
%D 2013
%P 38-63
%V 25
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DM_2013_25_3_a4/
%G ru
%F DM_2013_25_3_a4