ShopSpell

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

$79.99     $99.99   20% Off     (Free Shipping)
100 available
  • Category: Books (Computers)
  • Author:  Farmer, William M.
  • Author:  Farmer, William M.
  • ISBN-10:  3031211111
  • ISBN-10:  3031211111
  • ISBN-13:  9783031211119
  • ISBN-13:  9783031211119
  • Publisher:  Birkh?user
  • Publisher:  Birkh?user
  • Binding:  Hardcover
  • Binding:  Hardcover
  • Pub Date:  01-Apr-2023
  • Pub Date:  01-Apr-2023
  • SKU:  3031211111-11-SPRI
  • SKU:  3031211111-11-SPRI
  • Item ID: 105296454
  • List Price: $99.99
  • Seller: ShopSpell
  • Ships in: 5 business days
  • Transit time: Up to 5 business days
  • Delivery by: Dec 05 to Dec 07
  • Notes: Brand New Book. Order Now.
Add Review