Homework Assignment 9
November 29, 2006 - Code the quantifier rules and the axioms of N. read more...

Homework Assignment 8
November 29, 2006 - Exercises 5, 6, and 8 from section 2.8. Due 12/7/06. read more...

Homework Assignment 7
November 23, 2006 - Some redo from section 1.9.1 and some exercises from section 2.7. Due Thursday, 11/30/2006. read more...