Title: Logic in Computer Science 2ed