%0 Journal Article
%A R. Harrop
%T On Disjunctions and Existential Statements in Intuitionistic Systems of Logic.
%J Mathematische Annalen
%D 1956
%P 347-361
%V 132
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1956__132_160525/
%F MAN_1956__132_160525