Automated Reasoning In Higher Order Logic Set Comprehension And Extensionality | Desertcart Hong Kong
Automated Reasoning in Higher-order Logic: Set Comprehension and Extensionality in Church's Type Theory (Studies in Logic, Logic and Cognitive Systems)
