TY  - JOUR
AU  - K. Schütte
TI  - Der Interpolationssatz der intuitionistischen Prädikatenlogik.
JO  - Mathematische Annalen
PY  - 1962
SP  - 192
EP  - 200
VL  - 148
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAN_1962__148_160993/
ID  - MAN_1962__148_160993
ER  -