LEADER 01858nam0 2200361 i 450 
001 VAN0044531
005 20231123085428.608
010   $a08-218-5100-4
100   $a20060420d1989       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aCategories 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$1001VAN0043184$12001 $aContemporary mathematics$1210  $aProvidence$cAmerican Mathematical Society$v92
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a18-XX$xCategory theory; homological algebra [MSC 2020]$3VANC019745$2MF
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
606   $a18Dxx$xCategorical structures [MSC 2020]$3VANC024547$2MF
620   $aUS$dProvidence$3VANL000273
702  1$aGray$bJohn W.$3VANV036825
702  1$aScedrov$bAndre$3VANV035911
712   $aAmerican mathematical society$3VANV108732$4650
790  1$aGray, J. W.$zGray, John W.$3VANV036827
790  1$aGray, John Walker$zGray, John W.$3VANV060196
801   $aIT$bSOL$c20231124$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Gray, Scedrov - Categories in computer science and logic.pdf$zContents
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0044531
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   1696        $e08   6878      I       20060420            
996   $aCategories in computer science and logic$9343951
997   $aUNICAMPANIA