Logic and discrete Mathematics : A Computer Science Perspective - Grassmann, W tremblay, J (Vidhyanagar Pearson, 2009)