Philosophical Introduction to Higher-order Logics - Bacon Andrew (New York Routledge, 2023)
Keywords: Philosophy