%0 Journal Article
%A Horst Osswald
%T Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
%J Manuscripta mathematica
%D 1972
%P 17-32
%V 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM2_1972__6_154084/
%F MM2_1972__6_154084