Discrete mathematics for computer scientists - Truss, John (delhi pearson, 2001)