Number |
Due |
Problems |
1 |
Sep 16 |
1.2.2, 1.3.1, 1.3.4, 1.4.4, 1.4.6, 1.5.1, 1.5.3, 1.5.5, 1.5.6 |
2 |
Sep 23 |
1.6.1, 1.6.3, 1.7.1, 1.7.4, 1.8.1, 1.8.2, 1.8.6, 1.9.4 |
3 |
Sep 30 |
2.2.1, 2.4.5, 2.5.1, 2.5.2 |
4 |
Oct 7 |
2.7.1, 2.7.3, 2.7.5, 2.7.6, 2.7.7 |
5 |
Oct 21 |
3.2.3, 3.2.7, 3.3.1, 3.3.5, 3.3.10, 3.3.11 |
6 |
Oct 28 |
3.4.1, 3.4.6, 4.2.1, 4.2.3 |
7 |
Nov 4 |
5.3.1, 5.3.2, 5.3.7, 5.3.9, 5.3.13 |
8 |
Nov 11 |
5.5.2, 5.6.1, 5.7.1, 5.8.1, 5.12.1 |
9 |
Nov 18 |
6.2.3, 6.2.4, 6.2.5, 6.4.4, 6.6.3 (this needs an additional derivability condition D4: for a Delta-sentence phi, |
10 |
Dec 2 |
A Mathematical Introduction to Mathematical Logic, 9.7.2, 9.7.3
|