BME/ELTE TTK, 2023/24 2. félév, Matematikai Logika