CIS 301. Logical Foundations of Programming, Fall 2002.