| 000 | 00747nam a2200217 a 4500 | ||
|---|---|---|---|
| 001 | GR-Antirio1059 | ||
| 008 | 141010s2001 enk g b 001 0 eng d | ||
| 020 | _a9781852333195 | ||
| 040 |
_aGrPaTEI _bgre _cGR-PaULI |
||
| 040 |
_aGrPaTEI _bgre _cGR-PaULI |
||
| 082 | 0 |
_a511.3 _221 |
|
| 100 | 1 |
_aBen-Ari, M., _d1948- |
|
| 245 | 1 | 0 |
_aMathematical logic for computer science/ _cMordechai Ben-Ari. |
| 250 | _a2nd ed. | ||
| 260 |
_aLondon _aNew York: _bSpringer, _c2001 |
||
| 300 |
_axiv, 304 σ. : _bεικ. |
||
| 504 | _aΠεριλαμβάνει βιβλιογραφικές παραπομπές (σ.[293]-295) και ευρετήριο | ||
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 942 | _2ddc | ||
| 971 |
_a.b25708582 _b16-07-20 _c12-09-16 |
||
| 999 |
_c151412 _d151412 |
||