Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory 2007 · ENGLISH · DJVU View details →
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory 2007 · ENGLISH · PDF View details →
