A Philosophical Introduction to Higher-order Logics - 9780367483012