ISBN 0521133777 books & textbook
Computation, Proof, Machine: Mathematics Enters a New Age
Dowek, Gilles Guillot, Pierre Roman, Marion
Cambridge University Press /2015-05-05 Paperback / 160 Pages
isbn-10: 0521133777 / isbn-13: 9780521133777
book price comparison
