Lambek, J. <br/><br/>
Introduction to higher order categorial logic / 
J. Lambek, P.J. Scott 
 - Cambridge ;  London ;  Melburne ;  New Rochelle ;  New York ;  Sydney :  Cambridge University Press,  1986. 
 - 293 p. 
<br/><br/><label>ISBN: </label>0-521-24665-2 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Mathematics