Computation, Proof, Machine

by

  • Publisher: Cambridge University Press
  • Print ISBN: 9780521118019, 0521118018

  • eText ISBN: 9781316379127, 1316379124

  • Edition: 1st