Studies in Logic, . Logic and Cognitive Systems

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

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

Studies in Logic, . Logic and Cognitive Systems

C. E. Brown

564 pages • paperback

nonfiction computer science mathematics philosophy informative medium-paced