ShopSpell

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathema [Paperback]

$53.99     $64.99   17% Off     (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Farmer, William M.
  • Author:  Farmer, William M.
  • ISBN-10:  3031211146
  • ISBN-10:  3031211146
  • ISBN-13:  9783031211140
  • ISBN-13:  9783031211140
  • Publisher:  Birkh?user
  • Publisher:  Birkh?user
  • Binding:  Paperback
  • Binding:  Paperback
  • SKU:  3031211146-11-SPRI
  • SKU:  3031211146-11-SPRI
  • Item ID: 106802560
  • List Price: $64.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Oct 31 to Nov 02
  • Notes: Brand New Book. Order Now.
Add Review