ShopSpell

Proof Theory and Logic Programming Computation as Proof Search [Hardcover]

$89.99       (Free Shipping)
527 available
  • Category: Books (Computers)
  • Author:  Miller, Dale
  • Author:  Miller, Dale
  • ISBN-10:  1009561294
  • ISBN-10:  1009561294
  • ISBN-13:  9781009561297
  • ISBN-13:  9781009561297
  • Publisher:  Cambridge University Press
  • Publisher:  Cambridge University Press
  • Pages:  334
  • Pages:  334
  • Binding:  Hardcover
  • Binding:  Hardcover
  • SKU:  1009561294-11-MPOD
  • SKU:  1009561294-11-MPOD
  • Item ID: 106995229
  • Seller: ShopSpell
  • Ships in: 2 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jun 30 to Jul 02
  • Notes: Brand New Book. Order Now.
Add Review