000			00637nam a2200229Ia 4500
005			20220324222433.0
008			170527s2016||||xx |||||||||||||| ||und||
020			_a9789380108391
041			_aeng
082			_a004.015113 H3642i3
100			_aHein, James L.
245		0	_aDiscrete structures, logic, and computability _cJames L. Hein
250			_a3rd ed.
260			_aNew Delhi _bJones and Bartlett _c2010
300			_axiv, 1009p.
650			_aLogic Programming
650			_aLogic, Symbolic and mathematical
650			_aComputable functions
650			_aComputer science _xMathematics
852			_aRT
942			_cRT
999			_c8292 _d8292