Automated Reasoning in Higher-order Logic : Set Comprehension and Extensionality in Church's Type Theory by Chad E. Brown - Paperback

Automated Reasoning in Higher-order Logic : Set Comprehension and Extensionality in Church's Type Theory by Chad E. Brown - Paperback

AED168.63
(0) Write a Review
SKU:
9781904987574
UPC:
9781904987574

Product Description

ISBN: 9781904987574
TITLE: Automated Reasoning in Higher-order Logic : Set Comprehension and Extensionality in Church's Type Theory
AUTHOR: Chad E. Brown
PUBLISHER: College Publications
PUBLISHER DATE: 22 Oct 2007

Other Details

ISBN:
9781904987574
Author:
Chad E. Brown
Publisher:
College Publications
Publisher Date:
22 Oct 2007
Book Format:
Paperback

Related Products

Popular Trending Products