000 00212nam a2200097Ia 4500
082 _a005.101
100 _aHUTH, MICHAEL
245 _aLOGIC IN COMPUTER SCIENCE
260 _aNEW DELHI
_b CAMBRIDGE
_c2011
942 _cBK
999 _c3574
_d3574