Wintersemester 2012/13
Vorlesung: Mathematische Logik I
Skriptum Mathematische Logik I
Vorlesung: Three Lectures on Dialogues
IHPST (CNRS ⋅ Université Paris 1 Panthéon-Sorbonne ⋅ ENS), Paris 2013
Dozent: T. Piecha
Lecture notes: Three Lectures on Dialogues
Seminar: Mathematische Logik
Seminar: Wahrheit, Beweis, Folgerung
Vorlesung λ-Kalkül und Kombinatorische Logik
Dozent: M. Arndt