| 000 | 00328nam a2200109 4500 | ||
|---|---|---|---|
| 020 | _a9780000988850 | ||
| 082 |
_23rd edition _a005.13 _bRIC.L |
||
| 245 |
_aLogic and language models for computer science _cedited by Richards, Dana and Hamburger, henry |
||
| 260 |
_aLondon _bWorld Scientific _c2020 |
||
| 300 | _a451p. | ||
| 942 | _cBK | ||
| 999 |
_c677800 _d677800 |
||