LEADER 01448nam  2200385   450 
001 000016260
005 20050718115600.0
010   $a0-521-35653-9
100   $a20030905d1986----km-y0itay0103----ba
101 0 $aeng
102   $aGB
200 1 $aIntroduction to higher order categorical logic$fJ. Lambek, P.J. Scott
210   $aCambridge [etc.]$cCambridge University Press$d1986
215   $aX, 293 p.$d24 cm.
225 2 $aCambridge studies in advanced mathematics$v7
410  0$12001$aCambridge studies in advanced mathematics
606   $aCategoria (matematica)
676   $a512.55$v(21. ed.)$9Algebre topologiche e algebre connesse, gruppi topologici e gruppi connessi
691   $a03G30$9Algebraic logic. Categorical logic, topoi
700  1$aLambek,$bJoachim$056983
701  1$aScott,$bP. J.$0441983
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000016260
996   $aIntroduction to higher order categorical logic$982419
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030905$lBAS01$h1320
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1053
CAT   $c20050718$lBAS01$h1112
CAT   $c20050718$lBAS01$h1142
CAT   $c20050718$lBAS01$h1156
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$666689$5S66689$820030905$f51$FRiservati