An explicit diophantine definition of th
β
Martin Davis
π
Article
π
1971
π
John Wiley and Sons
π
English
β 274 KB