000 | 00939 a2200265 4500 | ||
---|---|---|---|
005 | 20170112122539.0 | ||
008 | 170112b xxu||||| |||| 00| 0 eng d | ||
020 | _a0821851004 | ||
040 | _cIITK | ||
041 | _aeng | ||
082 |
_a004.015 _bAm35c |
||
111 |
_aAMS-IMS-SIAM Joint Summer Research Conference on Categories in Computer Science and Logic _cBoulder _dJune 14-20, 1987 |
||
245 | 1 |
_aCategories in computer science and logic _cedited by John W. Gray and Andrej Scedrov _bproceedings... |
|
260 |
_bAmerican Mathematical Society _c1989 _aProvidence |
||
300 | _ax, 382p. | ||
440 | _aContemporary Mathematics | ||
440 | _av.92 | ||
500 | _aIncludes Bibliography. | ||
650 | _aElectronic Data Processing -- Mathematics -- Cong | ||
650 | _aCategories (Mathematics) -- Cong | ||
700 | _a Gray, John W. [ed.] | ||
700 | _aScedrov, Andrej [ed.] | ||
710 | _aNational Science Foundation (U.S.) | ||
942 | _cBK | ||
999 |
_c470909 _d470909 |