Text this: Logic and discrete mathematics : A Computer Science Perspective