%0 Journal Article
%A G. E. Mints
%A V. P. Orevkov
%T A generalization of the theorems of V.\,I.~Glivenko and G.~Kreisel to a class of formulae of the predicate calculus
%J Doklady Akademii Nauk
%D 1963
%P 553-554
%V 152
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1963_152_3_a12/
%G ru
%F DAN_1963_152_3_a12