000 00809nam a2200253Ia 4500
005 20220707100600.0
008 210716s2006 xx 000 0 und d
020 _a9788131501214
040 _cAIMIT LIBRARY
041 _aeng
082 _a511.8
_21
_bHAGG
100 _aHaggard, Gary.
_947368
245 _aDiscrete mathematics for computer science /
_cBy Gary Haggard, John Schlipf and Sue Whitesides
250 _a1st ed.
260 _aNew Delhi :
_bCengage Learning India Pvt Ltd ,
_c2006.
300 _axxiii,600p. ;
_c24 cm.
650 _aSets proof templates and induction
_947369
650 _aFunctions
_947370
650 _aFormal logic
_947371
650 _aRelations
_947372
700 _aSchlipf, John.
_947373
700 _aWhitesides, Sue.
_947374
942 _2ddc
_cBK
_e1st
_k511.8 HAGG
999 _c190079
_d190079