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

by C.E. Brown

No Synopsis Available.

• Format: Paperback
• Language: English
• ISBN: 1904987575
• ISBN13: 9781904987574
• Release Date: October 2007
• Publisher: College Publications
• Length: 564 Pages
• Weight: 1.72 lbs.
• Dimensions: 1.1" x 6.1" x 9.2"