LEADER 01802nam0 2200349 i 450 
001 SUN0044531
005 20160419120141.0
010   $a08-218-5100-4$d0.00
100   $a20060420d1989       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Categories in computer science and logic$eproceedings of the AMS-IMS-SIAM joint summer research conference held June 14-20, 1987 with support from the National science foundation$fJohn W. Gray and Andre Scedrov, editors
210   $aProvidence, Rhode Island$cAmerican mathematical society$d1989
215   $aX, 382 p.$cill.$d26 cm.
410  1$1001SUN0043184$12001 $aContemporary mathematics$v92$1210  $aProvidence$cAmerican Mathematical Society$d1980-.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a18-XX$xCategory theory; homological algebra [MSC 2020]$2MF$3SUNC019745
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a18Dxx$xCategorical structures [MSC 2020]$2MF$3SUNC024547
620   $aUS$dProvidence$3SUNL000273
702  1$aScedrov$b, Andre$3SUNV035911
702  1$aGray$b, John W.$3SUNV036825
712   $aAmerican mathematical society$3SUNV001080$4650
790  1$aGray, J. W.$zGray, John W.$3SUNV036827
790  1$aGray, John Walker$zGray, John W.$3SUNV060196
801   $aIT$bSOL$c20201012$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Gray, Scedrov - Categories in computer science and logic.pdf$zContents
912   $aSUN0044531
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1696        $e08   6878      I       20060420            
996   $aCategories in computer science and logic$9343951
997   $aUNICAMPANIA