Teaching Projects Research PhD Topics Talks Publications Software Haskell

Semester 1, 2014

Semester 2, 2013

Semester 1, 2013

Independent Study Options

as well as other topics related to modal logic and proof theory.


Dirk Pattinson [check HTML] [check CSS]