Logic and Complexity looks at basic logic as it is used in Computer Science, and provides student...