Computation, Proof, Machine
, by Gilles Dowek , Translated by Pierre Guillot , Marion RomanNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9780521133777 | 0521133777
- Cover: Paperback
- Copyright: 5/5/2015