'A Philosophical Introduction to Higher-order Logics'
This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languagestheir model theory and proof t