|
|
|
|
| LEADER |
00646nam a22001817a 4500 |
| 003 |
OSt |
| 008 |
100924t xxu||||| |||| 00| 0 eng d |
| 080 |
|
|
|a 512.58:681.3
|b RYD
|
| 100 |
|
|
|a Rydeheard, David E
|9 7729
|
| 245 |
|
|
|a Computational category theory.
|c David E. Rydeheard and Rod M. Burstall
|
| 260 |
|
|
|a NewYork:
|b Prentice hall,
|c 1988.
|
| 300 |
|
|
|a xiv, 257p.
|
| 653 |
|
|
|a Computational category theory.
|
| 700 |
|
|
|a Rydeheard, David E
|9 7730
|
| 700 |
|
|
|a Burstall, Rod m.
|9 7731
|
| 942 |
|
|
|c BK
|6 _
|
| 999 |
|
|
|c 220632
|d 220632
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 512586813_RYD
|7 0
|9 285445
|a MAT
|b MAT
|d 2010-09-24
|o 512.58:681.3 RYD
|p MAT03785
|r 2010-09-24
|t 1
|w 2010-09-24
|y BK
|