TY  - BOOK
AU  -  Andrew Bacon 
TI  - A Philosophical Introduction to Higher-order Logics: 
SN  - 9781003039181
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9781003039181
ER  -