CIS 301. Logical Foundations of Programming, Spring 2001

Assignment #7. Due date: Monday, March 12, 2001; BEFORE class. You are asked to do the following exercises: