Wintersemester 2017/18
Vorlesung: Mathematische Logik (Grundlagen der Logik: Math. Logik I)
Dozent: Prof. Peter Schroeder-Heister
Vorlesung: Advanced Mathematical Logic
Dozenten: Prof. Miloš Adžić, Ph.D., René Gazzari, Prof. Peter Schroeder-Heister
Vorlesung: Philosophy of Mathematics
Dozenten: Prof. Miloš Adžić, Ph.D., Prof. Peter Schroeder-Heister
Vorlesung: Lambda Calculus and Combinatory Logic
Dozent: Dr. Thomas Piecha
Tutor: Natalie Clarius
Proseminar: Gottlob Frege: Texte zur Logik und Sprachphilosophie
Dozenten: Prof. Peter Schroeder-Heister, Dr. Luca Tranchini
Seminar: Mathematical and Philosophical Logic
Dozent: Prof. Peter Schroeder-Heister