000 01266cam-a2200313-a-4500
001 000077985
005 20240105133751.0
008 920327t19891989xxua r 000 0 eng d
020 _a0-8218-5100-4
035 _a169496
035 _aUIA0077985
040 _aUIASF
_cUIASF
041 0 _aENG
050 4 _aQA 76.9.M35
_bA47
111 2 0 _aAMS-IMS-SIAM Joint Summer Research Conference in the Mathematical Sciences on Categories in Computer Science and Logic
_d(1987 :
_cUnversity of Colorado, Boulder)
245 1 0 _aCategories in computer science and logic :
_bproceedings of the AMS-IMS-SIAM Joint Summer Research Conference held June 14-20, 1987 with support from the National Science Foundation /
_cJohn W. Gray and Andre Scedrov, editors
260 _aProvidence, R.I. :
_bAmerican Mathematical Society,
_cc1989
300 _ax, 382 p. :
_btablas ;
_c25 cm
440 0 _aContemporary mathematics ;
_vv. 92
504 _aIncluye bibliografía después de cada capítulo.
650 0 _aProcesamiento electrónico de datos
_xMatemáticas -
_xCongresos.
650 0 _aCategorías (Matemáticas)
_xCongresos.
700 1 _aGray, John W
_q(John Walker)
_d1931-
905 _a01
942 1 _cNEWBFXC1
999 _c76947
_d76947
980 _851
_gRonald RUIZ