CS 8803 Computational Logic
Spring 2007

Homework 4, Due 3/5/2007

Read chapters 6 and 7 of CAR.

Do the exercises in chapters 6 that seem non-obvious. I am not going to collect solutions.

You will be expected to present the solutions to the chapter 7 exercises on the board in class. Remember these are paper and pencil proofs.

Last modified: Mon Feb 26 14:36:34 EST 2007