COMP 409: Logic in Computer Science (Spring 2001)