%0 Journal Article
%A K. Schütte
%T Der Interpolationssatz der intuitionistischen Prädikatenlogik.
%J Mathematische Annalen
%D 1962
%P 192-200
%V 148
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAN_1962__148_160993/
%F MAN_1962__148_160993