Lambek, J <br/><br/>
Introduction to higher order categorical logic 
J Lambek and P J Scott 
 - 
 - Cambridge University Press, Cambridge  1986 
 - 293 p 
 - .
<br/><br/><label>Subjects--Topical Terms: </label><br/>Topological and related algebra and groups
<br/><br/><label>Dewey Class. No.: </label>512.55  LAM-I