Andrew Bacon  <br/><br/>
A Philosophical Introduction to Higher-order Logics:  

 -  Taylor and Francis  2023 
<br/><br/><label>ISBN: </label>9781003039181 
<br/><br/><label>Source: </label>EBOOK