000			00565nam a2200205Ia 4500
005			20190922160520.0
008			170527s2016||||xx |||||||||||||| ||und||
020			_a9780521670890
041			_aeng
082			_a006.333 H9712l2
100			_aHuth, Michael
245		0	_aLogic in computer science _bmodelling and reasoning about systems _cMichael Huth
250			_a2nd ed.
260			_aCambridge _bCambridge University Press _c2004
300			_axiv, 427p.
650			_aComputer logic
650			_aLogic programming
700			_aRyan, Mark
942			_cBK
999			_c1798 _d1798