The course meeting time is 11:30MWF in Crabtree M03. The text book is the draft version of `Categorical foundations of set theory an logic'. The final grade will be based on assignments, a one-hour in-class test and a two hour final examination. The weights will be approximately 40%, 20% and 40% respectively. For official detail see the Department Handbook.
From the text: 1.15, 1.18, 1.25, 1.26 (a), (b), 1.28 (a), (e)
Due Sept. 17
From the text: 2.4, 2.7, 2.14, 2.33
Due Sept. 24