Kurs dla przedmiotu Logika i teoria mnogości na kierunku Informatyka stopnia I rok I w roku akademickim 2025/2026 w semestrze zimowym.