Computation, Proof, Machine

  • Author(s): Gilles Dowek
  • Publisher: Cambridge University Press
  • Edition: 1st
  • Print ISBN: 9780521118019, 0521118018
  • eText ISBN: 9781316379127, 1316379124

Description