%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T A certain algorithm for finding a full amplification of sequences in propositional calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1968
%P 67-70
%V 128
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_1968_128_2_a4/
%G ru
%F UZKU_1968_128_2_a4