Reasoning in Simple Type Theory: Festschrift Honor of Peter B. Andrews on His 70th Birthday (Studies Logic: Mathematical Logic and Foundations)

Set Theory (Studies in Logic: Mathematical Logic and Foundations)

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical...

Automated Reasoning in Higher order Logic: Set Comprehension and Extensionality Church's Type...

Descriptive Set Theory (Studies in Logic and the Foundations of Mathematics)