D. Schrittesser, “Research Based Teaching in Mathematical Logic”, IUSTL, vol. 13, no. 1, Jun. 2023.