000			00917nam a2200205 i 4500
999			_c44690 _d44690
020			_a9781284070408
082	0	0	_a005.131 _bHEI
100	1		_aHein, James L.
245	1	0	_aDiscrete structures, logic, and computability /
250			_aFourth edition.
260			_aBurlington, MA : _bJones & Bartlett Learning, _c[2017] ©2017
300			_axiv, 1039 pages ;
505	0		_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		0	_aComputer science
650		0	_aLogic programming.
650		0	_aData structures (Computer science)
650		0	_aLogic, Symbolic and mathematical.
650		0	_aComputable functions.
942			_cREF