Textbook: [pdf]

HW1 - due 22 January

HW2: p. 22 exercise B, p. 23 exercise D, p. 23-24 exercise F, p. 24-25 exercise H - due 28 January

HW3: p. 44 exercises B and D - due 2 February

HW4: p. 83 #A1, A2 - due 1 February

HW5: p. 83 #A6, A7 - due 4 February

HW6: p. 92 #B4, C3 - due 9 February

HW7: p. 94 #J1, J2 - due 12 February

HW8: p. 140 #C3 and write a proof of the argument "$A \rightarrow C \therefore (A \wedge B) \rightarrow C$"- due 16 February

HW9: p. 140 #C6 - due 22 February

HW10: p.140 #C5, C11 - due 24 February

HW11: p.159 #A2, C5 - due 26 February

HW12: p.159 #C3 - due 2 March

HW13: p.168 #B2, B3 - due 4 March

HW14: p.171 #A4, B2, C3 - due 9 March

HW15: p.211 #A5, A8, A12 - due 16 March

HW16: p.212-213 #C3, C4, C5, C6, D3 - due 19 March

HW17: p.226 #D - due 23 March

HW18: p.240 #A2, A5 - due 25 March

HW19: p.272 #B(all of them), C2, C3, C7, C8, C12 - due 30 March

HW20: p.282 #A2, B5, D2 - due 1 April

HW21: p.282 #C5; p.302 #D2, D5 - due 6 April

HW22: p.302 #E3, E6; p.313 B1 - due 8 April

HW23: Prove that $S0 \cdot S0 = S0$ in first-order arithmetic (as defined in the 8 April notes); Prove that $S0 \cdot SS0 = S0+S0$ in first-order arithmetic (you are allowed to copy $S0 \cdot S0=S0$ on a line in this proof if you cite your previous proof) - due 13 April

HW24: see here - due 20 April (

HW25: see here - due 23 April

HW26: see here - due 23 April

HW27: see here - due 23 April

15 April

13 April

8 April

6 April

1 April

30 March

25 March

23 March

18 March

16 March

11 March

9 March

4 March

2 March

25 February

23 February

18 February

16 February

11 February

9 February

4 February

2 February

26 January

21 January

19 January

14 January

12 January