TY - BOOK AU - Bacon Andrew TI - Philosophical Introduction to Higher-order Logics SN - 9780367483012 PY - 2023/// CY - New York PB - Routledge KW - Philosophy ER -