000			01004nam a2200229Ia 4500
003			NULRC
005			20250520100715.0
008			250520s9999 xx 000 0 und d
020			_a9789380108391
040			_cNULRC
050			_aQA 76.9.M35 .H45 [2013]
100			_aHein, James L. _eauthor
245		0	_aDiscrete structures, logic, and computability / _cJames L. Hein
250			_aThird edition.
260			_aBurlington, MA : _bJone and Bartlett Learning, _cc2013
300			_axiv, 1009 pages ; _c22 cm.
365			_bUSD54.81
504			_aIncludes bibliographical references and index.
505			_aElementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions.
650			_aCOMPUTER SCIENCE -- MATHEMATICS
942			_2lcc _cBK
999			_c11996 _d11996