Schrittesser, D. Research Based Teaching in Mathematical Logic. IUSTL 2023, 13.