%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T The strengthening of formulae that are provable in propositional calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1969
%P 21-31
%V 129
%N 4
%U http://geodesic.mathdoc.fr/item/UZKU_1969_129_4_a2/
%G ru
%F UZKU_1969_129_4_a2