Higher-Order Logic and the Löwenheim-Skolem Theorem - Stewart Shapiro (Taylor and Francis, 1996)