Vorlesung: Mathematische Logik I (WS18/19)
Dozent: René Gazzari
Vorlesung: Advanced Mathematical Logic: Introduction to Denotational Semantics (WS18/19)
Dozent: Paolo Pistone, PhD
Vorlesung: Lambda Calculus and Combinatory Logic (WS18/19)
Dozent: Dr. Thomas Piecha
Moodle-Seite
Seminar: Mathematical and Philosophical Logic (WS18/19)
Dozent: Prof. Dr. Peter Schroeder-Heister
