CS 400, Logic in Computer Science,