Ut 16:30 - 18:00 (2 v.hod.) M-VII Cvičenie 1-INF-210 Úvod do matematickej logiky A. Kompišová Št 15:40 - 17:10 (2 v.hod.) M-VIII Cvičenie 1-INF-210 Úvod do matematickej logiky A. Kompišová