000			00648nam a22001577a 4500
999			_c26831 _d26831
020			_a9789384323264 (pbk)
082			_a511.3 _bHEI
100			_aHein, James L.
245			_aDiscrete structures, logic, and computability
260			_aNew Delhi _bJones & Bartlett learning _c2017
300			_axiv, 1039 p. _b: ill. _c; 24 cm.
500			_aIncludes references, glossary and index.
650			_aDiscrete structures _aMathematics _vConstruction techniques _vLanguage-Automata _vElementary notions _vBinary relations _vInductive proof _vGraph theory _vApplied logic _vComputability _vFunctions _vNotation _vLogic _vRICAS
942			_cBK