000 00236nam a22000977a 4500
008 131222b xxu||||| |||| 00| 0 eng d
100 _aReeves .
_95601
245 _aLogic for computer science /
_cReeves .
300 _a.
942 _2ddc
_cBK
999 _c40021
_d40021