Title: Logic and Discrete Math