Computation, Proof, Machine: Mathematics Enters A New Age
by Gilles Dowek /
2015 / English / PDF, EPUB, AZW3
4.3 MB Download