Eine Vorlesung Logik und Grundlagen der Mathematik
(2 VO + 1 UE), Fr 15:15-17:00, FH HS 3 (Freihaus 2.Stock, gelber Bereich). Übungen Do 12:00-12:45 ZS 1 (Freihaus 8.Stock, grün) und Fr 14:15-15:00, FH HS 3.
Eine Vorlesung+UE AKLOG: Modelltheorie und Anwendungen
(2 VO + 1 UE). (Model theory and applications, in English) Monday 13:05-14:45; Freihaus 5th floor, green area.