Geodesic
Der Interpolationssatz der intuitionistischen Prädikatenlogik.
Mathematische Annalen, Tome 148 (1962), pp. 192-200.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : mathematical logic 
@article{MAN_1962__148_160993,
     author = {K. Sch\"utte},
     title = {Der {Interpolationssatz} der intuitionistischen {Pr\"adikatenlogik.}},
     journal = {Mathematische Annalen},
     pages = {192--200},
     publisher = {mathdoc},
     volume = {148},
     year = {1962},
     zbl = {0108.00301},
     url = {http://geodesic.mathdoc.fr/item/MAN_1962__148_160993/}
}
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  - 
%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
K. Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik.. Mathematische Annalen, Tome 148 (1962), pp. 192-200. http://geodesic.mathdoc.fr/item/MAN_1962__148_160993/