D. Schrittesser, “Research Based Teaching in Mathematical Logic”, IUSTL, bd. 13, nr. 1, jun. 2023.