Text this: A Philosophical Introduction to Higher-order Logics: