Diophantine sets and algorithmic undecidability

A Course in Mathematical Logic - Graduate Texts in Mathematics ◽

10.1007/978-1-4757-4385-2_6 ◽

1977 ◽

pp. 206-230

Author(s):

Yu. I. Manin

Download Full-text