Wintersemester 2018/19

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