[logic-ml] Two Mini-Courses in Set Theory, University of Vienna, October 2023 – January 2024