Picture 1 of 1

Picture 1 of 1

Computation, Proof, Machine: Mathematics Enters a New Age by Gilles Dowek (Hardback, 2015)

Be the first towrite a review.
  • thenilestore (1210553)
  • 98.2% positive Feedback
Price:
AU $149.70
Free postage
Estimated delivery Mon, 13 May - Fri, 17 May
Returns:
30-day returns. Buyer pays for return postage.
Condition:
Brand new
By Gilles Dowek, Pierre Guillot, Marion Roman. Gilles Dowek is a mathematician, logician and computer scientist, and currently a researcher at the French Institute for Research in Computer Science and Automation (INRIA).