BME/ELTE TTK, 2022/23 2. félév, Matematikai Logika