000			00533nam a22001697a 4500
020			_a9780521670890
082			_a005.1015113
100			_a Huth, Michael
245			_aLogic in computer science : modelling and reasoning about systems
250			_a2nd ed.
260			_aNew York _bCambridge University Press _c2004
300			_a xiv, 427 p. _bill. ; _e25 cm.
500			_a Includes bibliographical references (p. 414-417) and index.
650			_a1. Computer logic. 2. Logic programming.
700			_aMark Ryan
942			_cBK
999			_c11935 _d11935