Der Interpolationssatz der intuitionistischen Prädikatenlogik.

K. Schütte

Mathematische Annalen (1962)

  • Volume: 148, page 192-200
  • ISSN: 0025-5831; 1432-1807/e

How to cite

top

Schü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 ?

top

You must be logged in to post comments.