%0 Journal Article
%A H. Wang
%T The irreducibility of impredicative principles.
%J Mathematische Annalen
%D 1952
%P 56-66
%V 125
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1952__125_160295/
%F MAN_1952__125_160295