Lambek, J <br/><br/>
Introduction to higher order categorical logic 

 - Cambridge  Cambridge University Press  1989 
 - 293 p. 
<br/><br/><label>Dewey Class. No.: </label>512.55 L542I