TY  - JOUR
AU  - J.C. Shepherdson
AU  - J.P. Jones
TI  - Variants of Robinson's essentially undecidable theory R.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1983
SP  - 61
EP  - 64
VL  - 23
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1983__23_138007/
ID  - AMLG_1983__23_138007
ER  -