000			00339nam a22001337a 4500
008			160907b xxu||||| |||| 00| 0 eng d
020			_a8120322843
082			_a001.66
100			_aSing, Arindama
245			_aLogics for computer science
260			_aNew Delhi _bPrentice-Hall of India _c2003
300			_aix, 369p. :
942			_2ddc _cBK
999			_c1908 _d1908