%0 Journal Article %A V.H. Dyson %A J.P. Jones %T Some diophantine forms of Gödel's theorem. %J Archiv für mathematische Logik und Grundlagenforschung %D 1982 %P 51-60 %V 22 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMLG_1982__22_137991/ %F AMLG_1982__22_137991