| 000 | 00352nam a22001097a 4500 | ||
|---|---|---|---|
| 082 |
_a004.0151 _bHAN.H.1-2 |
||
| 100 | _aS Abramsky | ||
| 245 | _aHandbook of logic in computer science- 2 vol. | ||
| 260 |
_aOxford _bClarendon press _c1992 |
||
| 650 |
_avol.1- Background: Mathematical structures _avol.2- Background: Computational structures |
||
| 942 | _cREF | ||
| 999 |
_c203175 _d203175 |
||