Sommersemester 2018
Vorlesung: Theoretical Foundations of Logic Programming (SS18)
Dozent: Dr. Thomas Piecha
Tutor: Natalie Clarius
Proseminar: Philosophische Logik: Wahrheit und Beweis (SS18)
Beginn: Do 19.4. 10-12 Uhr
Ort: Alte Burse, Melanchthonzimmer
Dozent: Dr. Luca Tranchini
Seminar: Mathematical and Philosophical Logic (SS18)
Planning meeting: Thursday, 26 April 2018, 18:00 hrs, Room B109, WSI, Sand 13 (entrance: Sand 1), ground floor.
Dozent: Prof. Peter Schroeder-Heister