000 00242nam a2200109Ia 4500
020 _a9780521670890
082 _a005.101
100 _aHUTH, MICHAEL
245 _aLOGIC IN COMPUTER SCIENCE
260 _aNEW DELHI
_b CAMBRIDGE
_c2011
942 _cBK
999 _c3573
_d3573