Week One and two: Introduction to Course Themes

Read: Ch 1, 2 and 3

To learn: Review propositional logic and quantifiers

Week Three: Multiple generality

Read: Ch. 4

Week Four: Identity

Read: Ch. 5

Week Five: Functions

Read: Ch. 6

Weeks Six: Uncomputability

Read:Ch. 7

Week Seven: Undecidability

Read: Ch. 8

Week Eight:

Read:

Week Nine: SPRING BREAK!!!!

Week Ten:

Read:

Week Eleven:

Read:

Week Twelve

Week Thirteen:

Read:

Week Fourteen:

Read:

Week Sixteen: Review and Conclusions

Week 17: Final Project Due, May 14.