Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
Sold by IngramThis product may not be approved for your region.
Includes 5% VAT
Free ShippingOn orders of AED 100 or more. Standard delivery within 5-15 days.
Free Reserve & CollectReserve & Collect from Magrudy's or partner stores accross the UAE.
Cash On DeliveryPay when your order arrives.
Free returnsSee more about our return policy.