I followed the seminar on Constructive Analysis (Lecture), which presupposed knowledge in basic functioning of Minlog.
In Proof Theory (Lecture) we followed in class the proof in: Helmut Schwichtenberg. Proof theory: Some applications of cut-elimination. In Studies in Logic and the Foundations of Mathematics, volume 90, pages 867–895. Elsevier, 1977.