Discrete mathematics and logic design - Raman Kumar