Proofs and Algorithms: An Introduction to Logic and Computability by Gilles Dowek (Paperback, 2011)

Brand new: lowest price

AU $55.43

Free postage
  • Get it by Thu, 31 May - Mon, 18 Jun from Sydney, Australia
  • Brand new condition
  • • Returns accepted - 30 days money back
By Dowek. Gilles Dowek is a Professor at Ecole Polytechnique. He is also a Researcher at the Laboratoire d'Informatique de l'Ecole Polytechnique and the Institut National de Recherche en Informatique et en Automatique (INRIA).