A first course in discrete mathematics - Anderson, Ian (Springer, 2001)