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