Syllabus: [pdf]
Textbook: [pdf] Homework 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 (note: there was a mistake in an axiom here that was fixed the morning of 20 April!)
HW25: see here - due 23 April
HW26: see here - due 23 April
HW27: see here - due 23 April Course notes 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