CIS 301. Logical Foundations of Programming, Spring 2001.

Michael Huth (huth@cis.ksu.edu)