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

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

Product form

£20.42

Includes FREE delivery

RRP £21.50 – you save £1.08 (5%)

Order before 4pm today for delivery by Fri 26 Jun 2026.

A Paperback by Chad E. Brown

15 in stock

Trusted by thousands of customers. See 2,385+ Customer Reviews

View other formats and editions of Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory by Chad E. Brown

Publisher: College Publications
Publication Date: 22/10/2007
ISBN13: 9781904987574, 978-1904987574
ISBN10: 1904987575

Also in:
Mathematics Mathematical logic