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.