ANU Logic Summer School

Here are the handouts for my classes at ANU Logic Summer School, 8-12th December 2025.

Monday’s Handout:

Tuesday’s Handout

Wednesday’s Handout

Thursday’s Handout

Friday’s Handout