Guide to PS 3
10/03/10 14:54
I’ve posted a new guide for how to do quantifier substitution with multiple quantifiers. Don’t worry about embedded quantifiers for the problem set. There is an extra credit for that, and I will explain how to do that in another handout.