Diophantine Representation of Recursively Enumerable Predicates
暂无分享，去创建一个
[1] H. Putnam,et al. The Decision Problem for Exponential Diophantine Equations , 1961 .
[2] Hilary Putnam,et al. An unsolvable problem in number theory , 1960, Journal of Symbolic Logic.
[3] Martin D. Davis,et al. Arithmetical problems and recursively enumerable predicates , 1953, Journal of Symbolic Logic.
[4] Julia Robinson. Existential definability in arithmetic , 1952 .