Geodesic
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 55-59.

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

@article{AMLG_1970__13_137834,
     author = {Horst Luckhardt},
     title = {Ein {Henkin-Vollst\"andigkeitsbeweis} f\"ur die intuitionistische {Pr\"adikatelogik} bez\"uglich der {Kripke-Semantik.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {55--59},
     publisher = {mathdoc},
     volume = {13},
     year = {1970},
     zbl = {0212.01702},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1970__13_137834/}
}
TY  - JOUR
AU  - Horst Luckhardt
TI  - Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1970
SP  - 55
EP  - 59
VL  - 13
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1970__13_137834/
ID  - AMLG_1970__13_137834
ER  - 
%0 Journal Article
%A Horst Luckhardt
%T Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1970
%P 55-59
%V 13
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1970__13_137834/
%F AMLG_1970__13_137834
Horst Luckhardt. Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.. Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 55-59. http://geodesic.mathdoc.fr/item/AMLG_1970__13_137834/