CS 74.757 Formal Logic 1 GOLOG Maruthappan Shanmugasundaram (Satish) Graduate Student Department of Computer Science University of Manitoba Winnipeg, R3T.