Computational Logic
Spring 2005
Homework 1
Due 1/31/2005 before class starts
Last modified: Mon Jan 10 10:36:53 EST 2005