Geodesic
Existential interpretation. II.
Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 103-120

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

Mots-clés : undecidability of modest strata, first order theories 
@article{AMLG_1982__22_137995,
     author = {Yuri Gurevich},
     title = {Existential interpretation. {II.}},
     journal = {Archiv f\"ur mathematische Logik und Grundlagenforschung},
     pages = {103--120},
     publisher = {mathdoc},
     volume = {22},
     year = {1982},
     zbl = {0493.03020},
     url = {http://geodesic.mathdoc.fr/item/AMLG_1982__22_137995/}
}
TY  - JOUR
AU  - Yuri Gurevich
TI  - Existential interpretation. II.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 103
EP  - 120
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137995/
ID  - AMLG_1982__22_137995
ER  - 
%0 Journal Article
%A Yuri Gurevich
%T Existential interpretation. II.
%J Archiv für mathematische Logik und Grundlagenforschung
%D 1982
%P 103-120
%V 22
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137995/
%F AMLG_1982__22_137995
Yuri Gurevich. Existential interpretation. II.. Archiv für mathematische Logik und Grundlagenforschung, Tome 22 (1982), pp. 103-120. http://geodesic.mathdoc.fr/item/AMLG_1982__22_137995/