000			00643nam a22002297a 4500
003			OSt
005			20211217104050.0
008			211217b |||||||| |||| 00| 0 eng d
020			_a9780521670890
040			_c
082			_a005.101511 _bHUT / B
100			_aHuth, Michael _eAuthor
245			_aLogic in computer science
250			_a2nd ed.
260			_aDelhi : _bCambridge University Press, _c©2004.
300			_axiv, 427 p. : _bill. ; _c24 cm (Paperback)
504			_aIncludes bibliographical references and index.
653			_aComputer logic
653			_aLogic programming
700			_aRyan, Mark _eAuthor
942			_2ddc _cBK
999			_c482 _d482