Logic in Computer Science 2ed