LEADER 01058pam a2200253 a 4500
001 991004069689707536
008 081202s                      000 0 eng d
020   $a0521356539
035   $ab13795569-39ule_inst
040   $aDip.to Filologia Ling. e Lett.$bita
082 00$a512/.55
100 1 $aLambek, Joachim$056983
245 10$aIntroduction to higher order categorical logic /$cJ. Lambek, P.J. Scott
260   $aCambridge [Cambridgeshire] ;$aNew York :$bCambridge University Press,$c1994
300   $aix, 293 p. ;$c24 cm.
440  0$aCambridge studies in advanced mathematics ;$v7
650  0$aCategorie (Matematica)
700 1 $aScott, P. J.$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0441983
907   $a.b13795569$b28-01-14$c02-12-08
912   $a991004069689707536
945   $aLE008 FL.M. (L.G.) M 155$g1$i2008000116590$lle008$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i14894269$z02-12-08
996   $aIntroduction to higher order categorical logic$982419
997   $aUNISALENTO
998   $ale008$b02-12-08$cm$da  $e-$feng$genk$h0$i0