| 000 | 00483nam a22001937a 4500 | ||
|---|---|---|---|
| 003 | CEME | ||
| 005 | 20210628202117.0 | ||
| 008 | 210225b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a1-85233-319-7 | ||
| 040 | _c. | ||
| 082 | _a511.3 BEN | ||
| 100 |
_aBen-Ari, Mordechai _958313 |
||
| 245 | _aMathematical logic for computer science | ||
| 250 | _a2ND | ||
| 260 |
_aLONDON _bSPRINGER _c2001 |
||
| 300 | _aXIII,303P | ||
| 650 |
_aLOGIC FOR MATHEMATICAL _958314 |
||
| 942 |
_cBK _2ddc |
||
| 999 |
_c568511 _d568511 |
||