Computation, Proof, Machine: Mathematics Enters a New Age
, by Gilles Dowek , Translated by Pierre Guillot , Marion RomanNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780521118019 | 0521118018
- Cover: Hardcover
- Copyright: 5/5/2015