Hilbert's tenth problem by Davis, Martin, Matiâsevič, Ûrij Vladimirovič fromFoundations of computing 0 Type: Book
The ball and some Hilbert problems by Holzapfel, Rolf-Peter fromLectures in mathematics. ETH Zürich 0 Type: Book
