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

LEADER 01022nam a2200277 i 4500
001 991000671739707536
005 20020503194344.0
008 940526s1989    us                  eng  
020   $a0824778642
035   $ab10112078-39ule_inst
035   $aLE02520172$9ExL
040   $aFac. Economia$bita
082 0 $a519.55
100 1 $aDielman, Terry E$0249321
245 10$aPooled cross-sectional and time series data analysis /$cTerry E. Dielman
260   $aNew York ; Basel :$bDekker,$cc1989
300   $avii, 249 p. ;$c23 cm.
490 0 $aStatistics, textbooks and monographs ;$v97
650  4$aAnalisi delle serie temporali
650  4$aStatistica matematica
907   $a.b10112078$b17-02-17$c27-06-02
912   $a991000671739707536
945   $aLE025 ECO 519 DIE01.01$g1$i2025000018402$lle025$o-$pE0.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i10131036$z27-06-02
996   $aPooled cross-sectional and time series data analysis$9198049
997   $aUNISALENTO
998   $ale025$b01-01-94$cm$da  $e-$feng$gus $h0$i1