ShopSpell

Proof Theory and Automated Deduction [Paperback]

$44.99     $54.99    18% Off      (Free Shipping)
100 available
  • Category: Books (Mathematics)
  • Author:  Goubault-Larrecq, Jean, Mackie, I.
  • Author:  Goubault-Larrecq, Jean, Mackie, I.
  • ISBN-10:  1402003684
  • ISBN-10:  1402003684
  • ISBN-13:  9781402003684
  • ISBN-13:  9781402003684
  • Publisher:  Springer
  • Publisher:  Springer
  • Binding:  Paperback
  • Binding:  Paperback
  • Pub Date:  01-Feb-2001
  • Pub Date:  01-Feb-2001
  • SKU:  1402003684-11-SPRI
  • SKU:  1402003684-11-SPRI
  • Item ID: 100864878
  • List Price: $54.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Jul 06 to Jul 08
  • Notes: Brand New Book. Order Now.
Add Review