Ut 14:50 - 17:05 (3 v.hod.) M-VIII Prednáška Formálna sémantika a teória správnosti I. Prívara