Inhouse Seminar on Mathematical Logics (01.09.2023)