This is the homepage for the Summer 2010 First-Order Logic group contract. We’ll meet for this subject on Mondays at Xpm and Thursdays at Ypm (except as otherwise agreed).

**Textbook: **We’re using the text *A Mathematical Introduction to Logic, 2nd edition, *by Enderton. In these five weeks, we’ll work through chapters 1 and 2.

**Exams:** There will be one take-home exam at the end.

**Homework:** we’ll use the turn-in system, so each time we meet you’ll submit one problem for grading (so, you’ll submit two problems per week). You’ll maintain a portfolio of your work on the problems you don’t hand in; I’ll review your completed portfolio at the end when I write your evaluation. We’ll use the homework assignments I gave the last time I taught this subject. Here they are, with due dates: