%0 Journal Article
%A G. E. Mints
%T Herbrand's theorem for calculus of predicates with equality and functional symbols
%J Doklady Akademii Nauk
%D 1966
%P 273-275
%V 169
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/DAN_1966_169_2_a5/
%G ru
%F DAN_1966_169_2_a5