Antonelli
INF3484 Proof Theory (Seminar Course in Proof Theory)