Decision And Discrete Mathematics by Ian Hardwick & D.N. Burghes