CIS 301. Logical Foundations of Programming, Spring 2001

Assignment #9. Due date: Friday, March 30, 2001; BEFORE class. You are asked to do the following exercises: