Po 9:50 - 12:05 (3 v.hod.) M-216 Prednáška Formálna sémantika a teória správnosti I. Prívara