Sale Quick view Add to Cart Computation, Proof, Machine: Mathematics Enters a New Age £71.99 £68.34 Cambridge University Press