TY  - BOOK
AU  - Bacon Andrew Au.
TI  - Philosophical introduction to higher - order logics
SN  - 978-0-367-48301-2 
PY  - 2024///
CY  - New York, USA
PB  - Routledge
KW  - PhilosophyLogic
ER  -