Title: Philosophical Introduction to Higher Order Logics
Subjects: Logic