This is the public webpage for the Australian National University course Logic, co-taught as COMP2620 and COMP6262.
While more and more resources for university learning are now paywalled in Learning Management Systems like Moodle and Canvas, I think it is important for academics to make their work publicly available - not just their research, but their teaching materials too.
The materials presented here are the result of a fairly major course rewrite in 2025 by myself, but are very much influenced also by prior convenors of the course, most notably John Slaney and Pascal Bercher.
To navigate around this site, use the top menu (on a computer) or the ‘hamburger’ menu in the top left corner (on mobile).
Regards, and enjoy,
Ranald Clouston