海量图书期刊资源，随时随地畅享阅读乐趣
Spin and Scalar Curvature in the Presence of a Fundamental Group. IMikhael Gromov and H. Blaine Lawson, Jr. · Annals of Mathematics (Second Series) · 1980
Davis Martin, Putnam Hilary, and Robinson Julia. The decision problem for exponential diophantine equations. Annals of mathematics, second series vol. 74 (1961), pp. 425–436.Rogers, Hartley · The Journal of Symbolic Logic · 1970