Title: Logic in Computer Science