![](/img/cover-not-exists.png)
Dyson Verena H., Jones James P., and Shepherdson John C.. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 (1982), pp. 51–60.Jones James P.. Universal diophantine equation. The journal of symbolic logic, vol. 47 (1982), pp. 549–571.Jones J. P. and Matijasevič Ju. V.. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by Stern J., Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177.Jones J. P. and M
Davis, MartinVolume:
51
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.1017/S0022481200031418
Date:
June, 1986
File:
PDF, 407 KB
english, 1986