logic and discrete maths; a comuter sci. - Grassmann, W tremblay, J (Vidhyanagar Pearson, 2007)