%0 Journal Article
%A G. E. Mints
%T An analogue of Herbrand's theorem for the constructive predicate calculus
%J Doklady Akademii Nauk
%D 1962
%P 783-786
%V 147
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1962_147_4_a9/
%G ru
%F DAN_1962_147_4_a9