Previous semesters:

Analysis 1 (en) (4+2), Kohlenbach
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Introduction to Mathematical Logic (4+2), Otto
Mathematik für Chemiker 1 (4+2), Eickmeyer
Specialisation (en): Algorithmic Metatheorems (2+1), Eickmeyer
Specialisation (en): Proof Mining (2+1), Pinto
Proseminar (de/en), Eickmeyer
Seminar (en): Proof Theory (2), Kohlenbach
Seminar (en): Selected Topics in Model Theory (2), Otto
Lineare Algebra 2 (de) (4+2), Eickmeyer
Höhere Mathematik II (2+1), Eickmeyer
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Schweitzer
Logik und Grundlagen (2+1), Otto
Graph Theory (4+2), Eickmeyer
Specialisation: Special Topics in Graph Theory (en) (2+1), Eickmeyer, Schweitzer
Specialisation: Computability Theory (en) (4+2), Kohlenbach
Specialisation: Model Theory (en) (2+1), Otto
Seminar (en) (2), Kohlenbach
Mathematik für Chemiker 1 (4+2), Eickmeyer
Mathematik für Informatiker 1 (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Schweitzer
Introduction to Mathematical Logic (4+2), Eickmeyer
Specialisation (de/en): Math. Grundlagen d. Funktionalen Programmierung 2, (2+1), Streicher
Specialisation (en): Applied Proof Theory (4+2), Kohlenbach
Seminar (en) (2), Kohlenbach
Mathematik für Informatiker 2 (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Lineare Algebra 2 (de) (4+2), Eickmeyer
Höhere Mathematik 2 (2+1), Eickmeyer
Specialisation (en): Algorithmic Group Theory (4+2), Schweitzer
Specialisation (en): Logics of Knowledge and Information (4+2), Otto
Specialisation (de/en): Math. Grundlagen d. Funktionalen Programmierung 1 (2+1), Streicher
Seminar (en) (2), Otto
Mathematik für Informatiker 1 (4+2), Streicher
Mathematik für Chemiker (4+2), Eickmeyer
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Lineare Algebra 1 (de), (4+2), Eickmeyer
Introduction to Mathematical Logic (4+2), Kohlenbach
Specialisation (en): Incompleteness of Formal Systems (2+1), Streicher
Specialisation (en): Algorithms and Symmetries (4+2), Schweitzer
Specialisation (en): Classical and Non-classical Model Theory (4+2), Otto
Specialisation (en): Selected Topics in Logic: Proof Mining (2+1), Pinto
Seminar (en): Proof Theory (2), Kohlenbach
Proseminar (de/en) (2), Eickmeyer
Mathematik für Informatiker 2 (4+2), Streicher
Höhere Mathematik 2, (2+1), Eickmeyer
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach
Linear Algebra 2 (en) (4+2), Otto
Lineare Algebra für das Lehramt 2, (2+1), Eickmeyer
Logik und Grundlagen (2+1), Otto
Specialisation (en): Computational Complexity (4+2), Eickmeyer
Specialisation (en) 1/2: Realizability (2+1), Streicher
Specialisation 1/2: Kombinatorik (2+1), Schweitzer
Specialisation 1/2 (en): Advanced Ordinal Analysis (2+1), Freund
Specialisation (en): Applied Proof Theory (4+2), Kohlenbach
Seminar (2), Freund
Seminar (2), Schweitzer
Proseminar extra (2), Otto
Mathematik für Chemiker (4+2), Eickmeyer
Mathematik für Informatiker 1 (4+2), Streicher
Höhere Mathematik 1 (3+2), Eickmeyer
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach
Linear Algebra 1 engl. (4+2), Otto
Introduction to Computability Theory (2+1), Kohlenbach
Introduction to Mathematical Logic (4+2), Otto
B.Sc.; M.Sc. Specialisation 1/2: Graph Structure Theory and Algorithmic Metatheorems (2+1), Eickmeyer
Specialisation 1/2: Unprovability in Mathematics (2+1), Freund
Specialisation 1/2: Computability Theory (2+1), Kohlenbach
Specialisation: Algorithmic Group Theory (4+2 ), Schweitzer
Seminar: Proof Theory (2), Kohlenbach
Seminar: Classical Methods & Non-Classical Variations in Model Theory (2), Otto
Mathematik für Informatiker 2 (4+2), Eickmeyer
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto
B.Sc.; M.Sc. Specialisation: Graph Theory (4+2), Eickmeyer
Specialisation: Applied Proof Theory (4+2), Kohlenbach
Specialisation 1/2: Modal Logics (2+1), Otto
Specialisation: Algorithms and Symmetry (4+2), Schweitzer
Seminar (2), Kohlenbach
Mathematik für Chemiker (4+2), Eickmeyer
Mathematik für Informatiker 1 (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto
Introduction to Mathematical Logic (4+2), Kohlenbach
Specialisation: Classical and non-classical model theory (4+2), Otto
Specialisation 1/2: Einführung in die Kategorientheorie (2+1), Streicher
Proseminar (2), Kohlenbach
Proseminar (2), Eickmeyer
Lineare Algebra II (deutsch, 4+2), Eickmeyer
Mathematik für Informatiker 2 (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Logik und Grundlagen (2+1), Otto
Specialisation 1/2: Advanced Applied Proof Theory (2+1), Kohlenbach
Specialisation 1/2: Logics with Team Semantics (2+1), Otto
Specialisation 1/2: Homotopy Type Theory II (2+1), Capriotti
Seminar: Proof Theory (2), Kohlenbach
Mathematik für Informatiker 1 (4+2), Streicher
Mathematik für Chemiker 1 (4+2), Eickmeyer
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Introduction to Mathematical Logic (4+2), Eickmeyer
Höhere Mathematik I (3+2), Eickmeyer
Basic Applied Proof Theory (2+1), Kohlenbach
Incompleteness (2+1), Streicher
Homotopy Type Theory I (2+1), Buchholtz
Proseminar: Constructive Analysis (2), Kohlenbach
Höhere Mathematik II (2+1), Eickmeyer
Mathematik für Informatiker 2 (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Eickmeyer
Topologie (2+1), Capriotti
Specialisation: Higher Order Computability Theory (2+1), Powell
Specialisation: Model Theory (2+1), Otto
Specialisation: Mathematical Foundations of Functional Programming 2 (2+1), Streicher
Seminar: Constraint Satisfaction Problems (2), Otto
Höhere Mathematik I (3+2), Eickmeyer
Mathematik für Informatiker 1 (4+2), Streicher
Automaten, formale Sprachen u. Entscheidbarkeit (FGdI 1) (2+1), Eickmeyer
Introduction to Mathematical Logic (4+2), Eickmeyer
Introduction to Computability Theory (2+1), Kohlenbach
Finite Model Theory (2+1), Otto
Mathematical Foundations of Functional Programming 1 (2+1), Streicher
Proseminar: Lambda-Kalkül (2), Streicher
Seminar: Variations on the theme of modal logics (2), Otto
Mathematik für Informatiker (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Kohlenbach
Einführung in die Axiomatische Mengenlehre (2+1), Streicher
Linear Algebra 2 engl. (4+2), Otto
Logik und Grundlagen (2+1), Otto
Applied Proof Theory (4+2), Kohlenbach
Modal Logics (2+1), Otto
Computational Complexity (4+2), Eickmeyer
Seminar (2), Eickmeyer
Mathematik für Informatiker (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Kohlenbach
Linear Algebra 1 engl. (4+2), Otto
Introduction to Mathematical Logic (4+2), Otto
Advanced Applied Proof Theory (2+1), Kohlenbach
Realizability (2+1), Streicher
Seminar (2), Kohlenbach
Mathematik für Informatiker (4+2), Streicher
Aussagenlogik und Prädikatenlogik (FGdI 2) (2+1), Otto
Analysis 2 engl. (4+2), Kohlenbach
Basic Applied Proof Theory (2+1), Kohlenbach
Classical and Non-Classical Model Theory (4+2), Otto
Categorical Logic (2+1), Streicher
Seminar (2), Otto
Computability (2+1), Kohlenbach
Category Theory (2+1), Streicher
Introduction to Mathematical Logic (4+2), Otto
Mathematik für Informatiker (4+2), Streicher
Automaten, formale Sprachen und Entscheidbarkeit (FGdI 1) (2+1), Otto
Analysis 1 engl. (4+2), Kohlenbach
Seminar (2), NN
Advanced Applied Proof Theory (2+1), Kohlenbach
Finite Model Theory (2+1), Otto
Logik und Grundlagen (2+1), Otto
Seminar (2)
Basic Applied Proof Theory (2+1), Kohlenbach
Mathematical Foundations of Functional Programming II (2+1), Streicher
Introduction to Mathematical Logic
Finite Model Theory (2+1), Otto
Mathematical Foundations of Functional Programming I (2+1), Streicher
Computable Analysis (2+1), Schröder
Seminar: Logic, discrete structures, algorithmic methods (0+2), Otto
Introduction to Computability Theory (2+1), Seyfferth (I)
Seminar: Proof Theory, Kohlenbach
Modal Logics (2+1), Otto
Incompleteness of Formal Systems (2+1), Streicher (I)
Introduction to Mathematical Logic