000 00290nam a22001337a 4500
020 _a9780521670890
082 _a005.101
100 _aHUTH, MICHAEL
245 _aLOGIC IN COMPUTER SCIENCE
250 _a2ND
260 _aNEW DELHI
_bCAMBRIDGE
_c2011
300 _a427 P
942 _cBK
999 _c16341
_d16341