000			01261nam a2200349Ia 4500
005			20230705105741.0
008			210716s2010 xx 000 0 und d
020			_a9789380108391
040			_cAIMIT LIBRARY
041			_aeng
082			_a511.3 _23 _bHEIJ
100			_aHein, James L. _9125560
245			_aDiscrete structures logic and computability / _cBy James L Hein
250			_a3rd ed.
260			_aNew Delhi _bJones and Bartlett Publishers. _c2010
300			_axiv,1009p. ; _bPB : _c23 cm
650			_aElementary Notions and Notations _9125561
650			_aFacts about Functions _9125562
650			_aConstruction Techniques _9125563
650			_aEquivalence, Order and Inductive proof _9125564
650			_aAnalysis Techniques _9125565
650			_aElementary Logic _9125566
650			_aPredicate Logic _9125567
650			_aApplied Logic _9125568
650			_aComputational Logic _9125569
650			_aAlgebraic Structures and Techniques _9125570
650			_aRegular Languages and Finite Automata _9125571
650			_aContext-Free Languages and Pushdown Automata _9125572
650			_aTurning Machines and Equivalent Models _9125573
650			_aComputational Notions _9125574
942			_2ddc _cBK _e3rd _k511.3 HEIJ
999			_c190621 _d190621