Automated Reasoning in Higher-Order Logic

Name: Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory
Brand: College Publications
SKU: 9781904987574
Price: 2207.00 INR
Availability: InStock

Set Comprehension and Extensionality in Church's Type Theory

by C. E. Brown

College Publications

₹2,207

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

Many mathematical and computational concepts can be represented in a natural way using higher-order logic. Consequently, higher-order logic has become an important topic of research. /Automated Reasoning in Higher-Order Logic/ presents both a theoretical analysis of fragments of higher-order logic as well as a complete automated search procedure for an extensional form of higher-order logic.

Description supplied by the publisher.