Automated Reasoning in Higher-order Logic : Set Comprehension and Extensionality in Church's Type Theory

Available to Order

Usually dispatches within 3-4 weeks

While every attempt has been made to ensure stock availability, occasionally we may run out of stock at our stores.