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.