COL703: Logic for Computer Science