Text this: Logic and discrete mathematics : a computer science perspective