%0 Journal Article
%A N. K. Zamov
%A V. I. Sharonov
%T Amplifications of formulae of predicate calculus
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 1970
%P 54-59
%V 130
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_1970_130_3_a5/
%G ru
%F UZKU_1970_130_3_a5