Sommersemester 2016
Vorlesung: Advanced Mathematical Logic
Dozent: Prof. P. Schroeder-Heister
Vorlesung: Lambda Calculus and Combinatory Logic
Dozent: T. Piecha
Proseminar: Popper: Logik der Forschung
Dozent: Prof. P. Schroeder-Heister
Passwortgeschützte Materialien
Seminar: Principia Mathematica
Dozenten: Prof. P. Schroeder-Heister, Dr. L. Tranchini