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 E. Brown C.

College Publications · 2007 · Paperback

₹2,207

Free delivery. Nothing extra to pay at checkout.

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.

About this book

Published by College Publications in 2007, Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory by E. Brown C. runs to 564 pages in paperback.

Topics covered include Type theory, Automatic theorem proving, Mathematical logic and Logic.