Lambek, Joachim, <br/><br/>
Introduction to higher order categorical logic / 
J. lambek, p. j. Scott 
 - ix, 293 páginas 
 - Cambridge studies in advanced mathematics ;  7 .
<br/><br/><label>ISBN: </label>0521356539  (rustica) 0-521-24665-2  (encuadernado en tela) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Categorías (Matemáticas)
<br/><br/><label>LC Class. No.: </label>QA169  / L35