Akka

The Scandinavian Logic Society

PhD positions in proof systems for modal fixpoint logics, Amsterdam