![](/img/cover-not-exists.png)
Classification of Quantifier Prefixes Over Diophantine Equationsby James P. Jones;Some Diophantine Forms of Gödel's Theorem.by Verena H. Dyson; James P. Jones; John C. Shepherdson;Universal Diophantine Equationby James P. Jones;Exponential Diophantine Representation of Recursively Enumerable Setsby J. P. Jones; Ju. V. Matijasevic; J. Stern;Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Setsby J. P. Jones; Y. V. Matijasevic
Review by: Martin DavisVolume:
51
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2274078
Date:
June, 1986
File:
PDF, 163 KB
english, 1986