Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory
£20.42
Includes FREE deliveryRRP £21.50 – you save £1.08 (5%)
Order before 4pm tomorrow for delivery by Fri 23 Jan 2026.
A Paperback by Chad E. Brown
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:
Mathematical logic
Mathematical logic