TY  - JOUR
AU  - V.H. Dyson
AU  - J.P. Jones
TI  - Some diophantine forms of Gödel's theorem.
JO  - Archiv für mathematische Logik und Grundlagenforschung
PY  - 1982
SP  - 51
EP  - 60
VL  - 22
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/
ID  - AMLG_1982__22_137991
ER  -