Philosophical introduction to higher - order logics - Bacon Andrew Au. (New York, USA Routledge, 2024)
Keywords: PhilosophyLogic