Geodesic
Kripke-Semantik der derivativen Prädikatelogik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 134-135.

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

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