Elements of discrete mathematics: with applications to computer science - Chakrabarty, S. K. (Allied, 1976)