CIS 301. Logical Foundations of Programming, Spring 2002.