A philosophical introduction to higher-order logics - Bacon, Andrew (Routledge, Taylor & Francis Group, 2024)