CIS 301. Logical Foundations of Programming, Fall 2002.

General course information:

Teaching Assistant: The teaching assistant for this course is Srinivas Kolluri . His office hours are Tuesdays and Thursdays 11:00-12:00 A.M. in N019K.

Ancillary material:

Acknowledgement: To Michael Huth for permission to use his course materials and for general advice about the course.

Torben Amtoft