Title: Logic And Discrete Mathematics