LEADER 01186nam a2200301 i 4500
001 991003272389707536
006 m        d        
007 cr cn|||||||||
008 080129s1999    ne a    sb    001 0 eng d
020   $a9780444501707
020   $a0444501703
035   $ab13658736-39ule_inst
040   $aDip.to Matematica$beng
082 04$a511.3$222
100 1 $aJacobs, Bart$0627631
245 10$aCategorical logic and type theory$h[e-book] /$cBart Jacobs
260   $aAmsterdam ;$aNew York :$bElsevier Science,$cc1999
300   $axviii, 760 p. :$bill. ;$c23 cm
440  0$aStudies in logic and the foundations of mathematics ;$v141
504   $aIncludes bibliographical references (p. 717-733) and indexes
650  0$aType theory
650  0$aCategories (Mathematics)
856 40$3ScienceDirect$uhttp://www.sciencedirect.com/science/publication?issn=0049237X&volume=141$zAn electronic book accessible through the World Wide Web; click for information
907   $a.b13658736$b03-03-22$c29-01-08
912   $a991003272389707536
996   $aCategorical logic and type theory$91213842
997   $aUNISALENTO
998   $ale013$b29-01-08$cm$d@  $e-$feng$gne $h0$i0