Philsophical introduction to higher order logics - Bacon, Andrew (London, UK: Routledge, 2024)