Welcome to the COMP2620/6262 Public Webpage 17 Feb 2025 This is the public webpage for the Australian National University course Logic, co-taught as COMP2620 and COMP6262.