| 000 | 00410nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 230919b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9780521543101 | ||
| 082 | _a005.1015 HUT | ||
| 100 | _aHuth, Michael | ||
| 245 | _aLogic in Computer Science : | ||
| 260 |
_aNew York _bCambridge University Press _c2004 |
||
| 300 |
_a427 _bXiV |
||
| 700 | _aRyan, Mark | ||
| 942 | _cR | ||
| 999 |
_c52522 _d52522 |
||