TA Session 1
TA Session 2
TA Session 3
TA Session 4
TA Session 5
TA Session 6
TA Session 7
TA Session 8
TA Session 9
HW 1 Solutions
HW 2 Solutions
HW 3 Solutions
HW 4 Solutions
Natural Deduction 1
Natural Deduction 1 (Solutions)
Natural Deduction 2
Natural Deduction 2 (Solutions)
Natural Deduction 3
Natural Deduction 3 (Solutions)