01058pam a2200253 a 4500991004069689707536081202s 000 0 eng d0521356539b13795569-39ule_instDip.to Filologia Ling. e Lett.ita512/.55Lambek, Joachim56983Introduction to higher order categorical logic /J. Lambek, P.J. ScottCambridge [Cambridgeshire] ;New York :Cambridge University Press,1994ix, 293 p. ;24 cm.Cambridge studies in advanced mathematics ;7Categorie (Matematica)Scott, P. J.authorhttp://id.loc.gov/vocabulary/relators/aut441983.b1379556928-01-1402-12-08991004069689707536LE008 FL.M. (L.G.) M 15512008000116590le008-E0.00-l- 00000.i1489426902-12-08Introduction to higher order categorical logic82419UNISALENTOle00802-12-08ma -engenk00