Methods of Logic in Computer Science