Automata, logic and games course of the University of Oxford (source code)

= Automata, logic and games course of the University of Oxford
{title2=Schedule C1, 2026–27}

Written examination at the start of Trinity term.