Seol mar théacs é seo: Logic and Discrete Mathematics (A Computer Science Perspective)