Der Interpolationssatz der intuitionistischen Prädikatenlogik.
Mathematische Annalen (1962)
- Volume: 148, page 192-200
- ISSN: 0025-5831; 1432-1807/e
Access Full Article
topHow to cite
topSchütte, K.. "Der Interpolationssatz der intuitionistischen Prädikatenlogik.." Mathematische Annalen 148 (1962): 192-200. <http://eudml.org/doc/160993>.
@article{Schütte1962,
author = {Schütte, K.},
journal = {Mathematische Annalen},
keywords = {mathematical logic},
pages = {192-200},
title = {Der Interpolationssatz der intuitionistischen Prädikatenlogik.},
url = {http://eudml.org/doc/160993},
volume = {148},
year = {1962},
}
TY - JOUR
AU - Schütte, K.
TI - Der Interpolationssatz der intuitionistischen Prädikatenlogik.
JO - Mathematische Annalen
PY - 1962
VL - 148
SP - 192
EP - 200
KW - mathematical logic
UR - http://eudml.org/doc/160993
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.