| 000 | 01405cam a22003617a 4500 | ||
|---|---|---|---|
| 005 | 20150712005458.0 | ||
| 008 | 080207t20032001enka b 001 0 eng d | ||
| 010 | _a 2008922521 | ||
| 020 | _a8181283449 | ||
| 035 | _a(OCoLC)ocm53161283 | ||
| 040 |
_aUAT _cUAT _dDLC |
||
| 042 | _alccopycat | ||
| 060 | _bB M | ||
| 082 | 0 | 4 |
_a511.3 _221 |
| 084 |
_a511.3 _bB M |
||
| 100 | 1 |
_aBen-Ari, M., _d1948- |
|
| 245 | 1 | 0 |
_aMathematical logic for computer science _h[[Book] /] _cMordechai Ben-Ari. |
| 250 | _a2nd ed. | ||
| 260 |
_aLondon ; _aNew York : _bSpringer, _c2003, c2001. |
||
| 300 |
_axiv, 304 p. : _bill. ; _c24 cm. |
||
| 500 | _a2nd printing with corrections 2003. | ||
| 504 | _aIncludes bibliographical references (p. [293]-295) and indexes. | ||
| 650 | 0 | _aLogic, Symbolic and mathematical. | |
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0901/2008922521-d.html |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0901/2008922521-t.html |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 925 | 0 |
_aacquire _b2 shelf copies _xpolicy default |
|
| 955 |
_ajf88 2008-04-25 z-processor _aja15 2008-08-02 additional copy received _axh00 2008-11-03 _ixh04 2009-02-26 _exh04 2009-02-26 to CALM _aBarcode 00238896952 returned from bindery 2009-08-04 |
||
| 955 | _apc17 2008-02-07 | ||
| 001 | 0000076460 | ||
| 003 | 0000 | ||
| 942 | _cBK | ||
| 999 |
_c52453 _d52453 |
||