Diophantine Sets and Algorithmic Undecidability

A Course in Mathematical Logic for Mathematicians - Graduate Texts in Mathematics ◽

10.1007/978-1-4419-0615-1_6 ◽

2009 ◽

pp. 207-231

Author(s):

Yu. I. Manin

Download Full-text