000 00446nam a2200157Ia 4500
008 161214s9999 xx 000 0 und d
020 _a9788181283443
_c(pbk)
082 _223
_a511.3
_bBEN
100 _aBen Ari, Mordechai
245 0 _aMathematical logic for computer science
250 _a2nd ed.
260 _aLondon:
_bSpringer,
_c2003
300 _axiv, 304 p.;
_bill.:
_c24 cm.
650 _aLogic, Symbolic and mathematical
942 _2ddc
_cBK
999 _c23947
_d23947