Geodesic
Kripke-Semantik der derivativen Prädikatelogik.
Archiv für mathematische Logik und Grundlagenforschung, Tome 13 (1970), pp. 134-135 Cet article a éte moissonné depuis la source European Digital Mathematics Library

Voir la notice de l'article

@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},
     year = {1970},
     volume = {13},
     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
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
%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/