%0 Journal Article
%A G. E. Mints
%T A~normal form theorem for second-order classical logic with an axiom of choice
%J Izvestiya. Mathematics 
%D 1989
%P 587-605
%V 32
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IM2_1989_32_3_a6/
%G en
%F IM2_1989_32_3_a6