A Philosophical Introduction to Higher-order Logics - Andrew Bacon (Taylor and Francis, 2023)