readings

For next time, please read sections 2.3.1 and 2.3.2.

We decided that we would begin by learning a bit about logic. I think it makes the most sense to start with higher order logic. For next time, please read sections 2.1 and 2.2 of the book on higher order logic in the READINGS tab.