| 000 | 00786nam a2200265 a 4500 | ||
|---|---|---|---|
| 001 | vtls000002514 | ||
| 003 | MY-PjKIC | ||
| 005 | 20240626174934.0 | ||
| 008 | 100211t1993 000 0 eng d | ||
| 020 | _a013564139X | ||
| 035 | _a013564139X | ||
| 039 | 9 |
_a201002111738 _bVLOAD _c201002111611 _dVLOAD |
|
| 040 | _cfcuc | ||
| 082 | _a511.3 BEN 1993 | ||
| 090 | _a511.3 BEN | ||
| 100 | 2 | 0 |
_aBen-Ari, M., _d, 1948- |
| 245 | 1 | 0 | _aMathematical logic for computer science |
| 260 |
_aNew York : _b: Prentice Hall, _c1993. |
||
| 300 |
_a305 p. : _b: ill. ; _c; 24 cm. |
||
| 440 | 0 | _aPrentice-Hall International series in computer science. | |
| 500 | _aIncludes index. | ||
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 942 |
_2ddc _c3 |
||
| 999 |
_c2064 _d2064 |
||