LEADER 00840nam0-22002411i-450- 001 990001210810403321 035 $a000121081 035 $aFED01000121081 035 $a(Aleph)000121081FED01 035 $a000121081 100 $a20000920d1989----km-y0itay50------ba 101 0 $aeng 200 1 $aCategories in computer science and logic$eProceedings of the AMS-IMS-SIAM joint Summer Research Conference held at University of Colorado, Boulder, Colorado, June 14-20, 1987$fby GRAY W., SCEDROV A. 210 $aProvidence (RI)$cAmerican Mathematical Society$d1989. 225 1 $aContemporary mathematics$v92 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001210810403321 952 $aC-1-(92$b6468$fMA1 959 $aMA1 996 $aCategories in computer science and logic$9343951 997 $aUNINA DB $aING01